The Museum of HP Calculators website has a classifieds section (my friend runs this website)
https://www.hpmuseum.org/
I'm not sure whether you'll get a better price there or on ebay (I know nothing about vintage calculators) but thought I'd mention it in case it's helpful! Good luck!
Edit, in case it was not clear: This is an alternative to ebay, in case you don't get the price you want. You can't post ebay links on the forum.