$750 hmmm tell them to do a complete tuneup and u will do it. btw change of water pump is included in the timing belt package.
like romeo said u can do it much cheaper but not any mechanic can do the job right the first time.