Did you account for the possibility that he applied the $5,000 trade-in into his $10,000 down payment?

Top of the line CR-V is circa $28-29K before tax. If you put the figures in as 5k down and 5k trade-in, you get 33k if you account for 8% tax.