My little red gem would cost you less than that! Details about it in my sigline and a thread in "Private Sales" here on the forum. I've pulled mine off the market for the time being.

But that seems a bit high to me, too. The tires better be NEW, and there better be a way to assure you of some remaining factory powertrain warranty.

If you can find someone offering theirs for sale privately, you can do a lot better, pricewise.
I expect to put mine back up for sale later this fall. I'll be asking $15K or around that, depending on what tires I put on it before then.

STAY AWAY FROM CARMAX - go to local dealers and you'll save at least 10%, that's my experience.