Thank you all for your input. I guess I need to take my chances. I’ll get the water pump replaced and hope for the best. The water pump has a small leak and my quick fix has been to add coolant in the reservoir regularly (every 500 miles). I was told that it could get worse anytime (like when I’m out of town) and could damage my engine. So far, my engine has not over-heated yet. In that sense I’m still lucky.