My Niece has a neglected car that had the water pump replaced. I see rusty coolant residue from when the pump went out. It looked like the coolant was neglected and when they replaced the water pump they put in green coolant. So this should have Texaco Havoline, Prestone Extended or Zerex Extended Life coolant correct? The radiator side tank is leaking at the rubber seal.