Sounds about right. They do that at about 120k mi or so. I would have paid $19,500 for your truck and put $1,200 into the full 90k mi service that would have included water pump, timing belt, and everything else. Tick tock tick tock... these things don't gain value over time! haha glws