Think about it they are $35k new and you could then get a discount on that.
You might also find that if it is a company car he might have got fleet discount so they could've bought it cheaper again. Bargin maybe but it is a used car now even if it is a 07 model.
cheers
Carby650