There are a few bouncing around E-Bay for about that price.
I thought they were about $3000 a year ago, but now a bit over $4000.
I wonder if sellers play a game of bidding up auctions so that the buy-it-now sales go for higher.
Anyway, there is nothing wrong with starting on Craigslist, in a big city, and avoid all the E-Bay and PayPal fees.