What do you suggest as a precision low ripple/noise PS then?
Everything on e-bay is overpriced. Live in the northern Illinois area and everything is overpriced around here. Now that you say it, that HP power supply is a bit overpriced, but I have seen people pay $100-$200 for a good unit.
Have you even looked at the prices for the HP 6115A meter in the Completed auctions on E-bay? One sold for $10, another for $100, another for LESS THAN $89 and another for LESS THAN $50. The first three were all listed as "used" and "pre-owned" so should be fully functional per E-bay's rules. Real world prices are far less than the two for $300 that you were quoted.
Stop using the ridiculous asking prices prices in the for sale section of Ebay for any kind of
accurate value.
"What do you suggest as a precision low ripple/noise PS then?"
What kind of voltage and current range do you
realistically need? And what ripple requirements? For audio work, I suspect that most lab grade HP power supplies will work.
I just searched for "HP Power Supply" in the for sale section of E-bay and I got over 10 pages (probably MANY more) of hits with 200 hits per page so that's at least 2000 listings and that doesn't include the other GOOD brands like Harrison, Lambda, Precision Power Source, etc.
"Everything on e-bay is overpriced. "
Not everything, many sellers start their items at $9.95. Try sorting the search results by cheapest first and ignore the clueless sellers with their ridiculously high asking prices. You can also limit the results by the distance from your zip code if you intend to pick it up in person.