VAX-11/730 power supplies (was Re: PDP-11/35 power supply woes)