As long as the car wasn't driven around with a blown headgasket, you should be fine. However, if he did drive it around and overheated it, the head may have been warped. If the timing belt is needing to be done, this is the perfect time to do it. For $300 bucks, seems like a decent deal.