KBB, Edmunds, etc are jokes. They represent wishful thinking, and not actual market data (despite their marketing fluff)

I don't think anyone can determine that an 07 4.8 is a 'low demand' car and hence the prices are such....KBB is just not accurate, and ALL used cars- especially over 30k- have been depressed for the last 2 years (in general).