That might be about right for a reasonable price. I would suggest looking at trade-in values for the car, options, mileage, etc. that your looking to buy at auction. That usually gives you a good ballpark figure of what you can expect to pay. When I was shopping for my car, I considered going the auction route but ultimately bought privately. The gentleman who was going to help with the auction sent me some documentation on a couple cars I was interested in as well as a range of pricing on historic pricing for similar vehicles that actually sold. One of them I actually found for sale (same VIN) on a lot a couple weeks after that auction took place and there seemed to be about a $2500 mark up from the high end of the range. (10K-11.5K, found on a lot for 14K). The lot was a "no haggle" outfit, so that price was definitely firm.