well. when he replaced the water pump, he could have not tightened down a new hose clamp? properly torqued the bolts? broke a coolant elbow?

could be a few things.....