Trade Price £2,000
Retail Price £3800
These are accurate prices taken from Glass's Guide allowing for Mileage Adjustment.
He will NOT achieve retail price, this is a price from a dealer offering warranty, part ex and customer service backup.
You are very lucky to achieve trade prices via autotrader/Local paper and well under trade via good old e-bay