Although fewer cars sold overall, they tended to bring better prices—average per car was even higher than in 2015, the last time the market peaked.