To me, that sounds in the ballpark. I would try to talk him down some and if need be, pay that amount with him replacing the taillamp thats broke. That is also assuming its a 4x4 and not 2wd! I just sold my 06 ES 4x4 for $5200 to a friend with alot of aftermarket add ons.