And I am getting my water pump/ timing belt changed, and the guy said I will need to pick up some coolant as well. First I've heard of this...anyone?