Nick Bertoni created a community workspace where people could come and build and learn with all types of tools and technology, mostly in the 1980's and 1990's. He also collected a lot of tools and materials, including an electronics lab, from which I already acquired stuff for sudoroom. This weekend you should go to the tool sale, even if you don't need anything, just to see all the awesome stuff. And certainly if you need something, no matter how weird or rare it is (or you never knew it existed) it will be there. I can tell you that the Sorensen DCR 20-25B works perfectly since I repaired it years ago. It's a 20V 25A regulated power supply. Attached is the Craigslist post for the sale, which will take place 10am-4pm saturday and sunday. It was written by a family friend who is an antiques dealer so it may not highlight the electronic / pneumatic elements in terms of what some people in maker-centric circles might be interested. https://sfbay.craigslist.org/eby/gms/6268543313.html