I have one that I got for $20 years ago at a HAMfest, not working.
The fan bearings were bad - it would barely turn. Replaced the fan.
One of the 15V rails was dead (I forget which one). I replaced it with a 7815 or 7915. Seemed to work fine, I use it occasionally, and the 10 MHz oscillator is very good.
?
Pete
?
saipan59 (Pete)