Game computer is still dead. The new power supply checked out fine; after I installed it I got fans and LEDs and everything else expected, but didn't hook it up to the TV to make sure it booted.
Well, I did that today and it powered itself off after just a few seconds. It was willing to make one or two more attempts at booting but now it's back in a bricked state. (But with +12V everywhere there should be!)