Okay, I did what you suggested and the fan in the power supply whirs for
a fraction of a second, does maybe one rotation, and then dies. This is
repeatable. So what do I do now? It sounds like the power supply is
indeed at fault.