He picked up an HP6038A power supply for $50. We couldn’t find the original list price, but even refurbs from “professional” sources go for around $800. However, the $50 price came with a ...