It sounds conceivable that it's the water pump, it's not a $750 job. Take what they told you and get a second quote. Even a dealer wouldn't charge those prices. I did the same stuff on my old 3800 for around $100, and a few hours of time.