I saw the one on ebay for 1850 and it was re-listed already with 0 bids. Alot of them listed for right around $2k, surprisingly a handful of "HUO" for right around 2.5k. As soon as leds are mentioned the price usually rises 100-200 though. I guess it will come down to what shape everything is in.
2 or 3 years ago a guy in Mass? or semi local to NY on RGP archive had one listed for either 1.5k or 2.5k I cant remember. I know not much help but hopefully it gives you a ballpark idea.