Screenshot posted shows KBB trade value, not Certified retail.  That could be what they’re going off of.

My vote would go towards a VW Phaeton - especially if you can get your hands on a W12 for that price