[cctalk] PDP 11/40 power supply question