Got the supply! It's much smaller than the original, so it'll have plenty of room in the console. There's a decal near the fan that says the fan will only run if the load exceeds 50%, so there's a little good news already.
Just need to figure out a neat way to mount it.
Here's a question:
There are obviously multiple output pins on this supply (as there are on any PC supply). I'm assuming that, since multiple pins carry the same voltages, they are just paralleled. So, if I need, say, 5VDC to feed my output connectors, I can just pick any 5VDC pin from the supply and hook it up.
Is this what you did, Don?