I remembered that I have a multimeter, so I went about testing the power supply. I got the results that the checklist suggests (e.g. +5 volts for red, -12 for blue), with one weird exception: the gray wire showed at +65 volts! It's possible that this is because nothing else was plugged into the power supply at the time, but still seems way off to me.
Hope this helps.