[cctalk] Re: PDP 11/40 power supply question