Those seem to be high. I live in California, land of the high priced pins. The nicest one ive seen was for sale at 1600 and I dont think it sold. The last couple that have popped up were sub 1000.
If its perfect, with what ive been seeing in my pinflated territory, 1500 would probably be max. Planking and cracked plastics well below that.