well yea but he already changed that lol...
I say ride it until it starts to overheat again... keep an eye on the coolant and the oil just to make sure you dont have a head gasket problem. Which could lead to something worse.. Other wise I would say youre alright....
ps changing out the water pump, if its your first time can be a pita. But definately do-able, with a few hours to spare and some company cause working on your car alone in the cold just plain sucks .lol...GL