TZ at $2500 is pretty good - they usually sell for around $4K plus. It depends on what you need to spend to do it up.

The problem with eBay is that the prices can sometimes be inflated by people who must have a pin without thinking realistically about what it might be worth. And if you say 'project pin', it can trigger off the brain's bargain receptors, even if the price is unrealistic.

A lot of dealers get pins as trade-ins and so are picking them up for a better price than you or I can get without doing a lot of searching. Say they are offering a trade-in of $1000 to $1500 and then shopping it, their pricing will start at $2500 to $3000, which sounds about right.