[cctalk] Depraz Mouse, Type D 83 / P, Excellent Condition, Looking to Establish Value and Sell

I found a Depraz mouse the other day (Type D 83 / P) while going through moving boxes. I used to - long time ago - make things out of broken or disassembled computer gear. There was the most amazing store in Dover, NJ called Second Byte where I spent too much time and money (according to my ex-wife). I purchased this mouse 30 years ago with no particular project in mind, and it has just stayed packed away. I'm looking to sell it but I admittedly don't know what it's worth. I see two of them on eBay for $20-$30K, but don't see any Sold Items as a reference. Those sale prices sound largely aspirational. The mouse is in pretty amazing physical condition, with only basic scuffing on the red surface. The larger spots you see are reflections. The cable has scuffs but no fraying at all. The ball turns when the mouse is rolled. No pins are bent on the connector (RS-232 / DB9?). The three buttons click. Any insight - or offers - is welcomed. Thanks.