It's at a used car dealer, they were asking $10,000. After some negotiating they agreed to $10,000 out the door, including registration. I think that made the sale price just about $9,100.
They've since dropped the on-line listing to $9,500, but I doubt they'd lower their offer to me. They...