In the industry, we call that list price the crack pipe price.
I know I'm looking at this through a dealership lens, but KBB trade-in shows a starting figure (ie, before deductions for any obviously-needed reconditioning) at only $3550. The listed price of $4200 might be a fair deal for a...