old PDP/DEC PSU hardware question