You didn’t get a good deal, especially for an auction car. You got the “buy from a dealer” deal.

That being said, crazy how 17k for this car in today’s market is around what they’re listed for. Highly doubt many sell for that price though.