they want $7500, which I thought was pretty pricey anyway

If anyone knows of reasonably priced one for sale drop me a pm

Overpriced in today's market. Dealer pins have dropped in standard considerably due to the overall quality of what is left overseas (Europe especially), and the corners cut in the "workshops". $6000 would be the price of a properly reconditioned game - no more than that in today's economy. They are getting hard to find in good condition.