In search of DEC H7140 (PDP-11/40 power supply) parts