Short followup: AS7C1024-12 with BIOS 3.03 works acceptable, little glitches with everything (occasional junk pixels, TITD intro screens quite broken), but TITD is quite playable. With AS7C1024B-12 + BIOS 3.04 TITD had severe glitches ingame and spectrum demos often had broken attributes.
I'll see if I can obtain some W24010AJ-35 and report back then.