Vax 11/750 power supply questions