I just had my water pump done by a local shop. Is it likely that they replaced to coolant, or just enough to replace what came out of the block?

 

Hi Greg, Look on your shop bill. There should be a charge for AF if they changed yours out with the water pump replacement. They should have drained and reverse flushed the system. Give them a call.

Cheers,
Larry