I did a quick search within 500 miles of where he bought the car. Obviously the prices are asking, not selling prices
2 Lux's for 59k, 3 HSE's for 54-57k....all 2012, with between 33 and 11,000 miles on them, dealers only.
in socal, 2 Lux's for 55-59k, 1 base for 48k....again, all 2012...