The power supply lives!
Off I went to the last remaining Radio Shack in my area (a franchise store, also known as Hurricane Electronics) to see if I could find some fuses and a replacement lamp. Found some replacement fuses easily enough (35V, 20A), and much to my surprise, replacement bulbs that were the exact same style as what was already on the power supply.
Replacing the light was easy enough, but took a bit longer than expected. The original pair of wires for the light kept breaking when I tried to put the light back into place, so I ended up just replacing the two wires with some 18 gauge stranded wire I had. Once the light was back in place, I plugged the power supply in and on came the light. Yay!
Then I replaced the fuse, turned it back on and was greeted with the meter telling me there was 13ish volts. With my DMM, I read 13.3 V DC at the meter.
I tweaked the pot at the control board to bring it up to 13.7 V DC.
So it looks like the only problem with the power supply was the blown fuse. Now to see how it works with a load applied.