HP 6439b Schematic

I got one of these monsters at a ham fest a few years ago. Recently, I think I blew something. I'd love to get my hands on a service manual or schematic. Where else would I get a 0-60V 0-15A power supply?

There are two manuals for this power supply for sale on eBay.

...or $35 from Manuals Plus:
**broken link removed**

creakndale

Thanks man, I'll take a look at those.