That is not too bad really, at least they took it off you. Looks like kbb says around $2400 trade in, if you would have kept it, you would have had timing belt servicing coming up as well for $500-600 (looks like you drive a lot of miles if you bought it new).