I found a not terribly priced power supply for my HP 8648B with the stupid broken, undocumented, third-party power supply. Will be nice to get that going again. I have a much nicer 8644B, but you can never have too many signal generators!
I'm vaguely tempted to try fixing the old supply anyway though, I am more confident in my debugging of switching power supplies than I once was.