Do you think they actually get 80K?
A brief look at Autotrader looked more like between 62K and 71K.
Gets a little tricky when you factor in reducing Sales Tax and the time and energy to sell privately.