I've got the May 1995 Southeastern edition of the Blue Book. Here is what it says: 1988 Sedan CS-T-Qtro Retail = $9600 Trade In = $7450 Loan = $6725 Deduct $800 for high mileage (On this car anything over 90k) Looks like he is at the trade value. He probably paid around $6000-6500 for the car. Good luck. -ken-