40K 2010 Camaro SS

Wanted to get opinions on this,

A guy I work with was telling me about a new car he got today, Which happen to be a camaro. He's really only been in classics cars (50s,60s,70s) and had recently sold his 67 camaro few months back and had when to a dealership and found a 2010 1SS inferno red Camaro with 300 miles on it bone stock. He told me the sticker was orginaly was 49K and the dealer had "Gave him" a 9K discount and got the car for 40K.... I didnt even know what to say as that sounds like an out of this world price for that car. But maybe im wrong. I have a 2019 SS 1LE and didnt pay 40K.