I had my timing belt and water pump changed. Is a FULL coolant change done in the course of this work? I am wondering because the shop only listed 1 gallon of antifreeze on the repair invoice. I'm hoping I don't need to do a coolant change.

 

I very much doubt they did a coolant flush, unless you asked for one, the one gallon of anti freeze just covered what was in the water pump and connecting hoses.

 

A50/50 mix would be 8 quarts. Most cooling systems hold only 8 quarts.