Since this topic’s come up again, I’ll mention I bought this about a year ago:
These seem to be available new for $170 to $200 or so. I bought mine used from here:
They’re not showing a price, instead a “request quote” button, but when I bought mine it was $60. A steal. It was in excellent condition, just a bit of minor cosmetic discoloration, working perfectly. Two variable voltage 3 A supplies (can be set up as ±12 V — tie one side’s negative post to ground for +12 V and the other side’s positive post to ground for -12 V) and a fixed 5 V supply, variable current limit.
Same vendor has a lot of other DC supplies, used and new; looks like you have to request quote on any of the used ones.