The parts stores have a dye you add to the cooling system. When it leaks it turns the brightest green you can imagine. I use this all the time.
A good shop would have went the extra to help you by doing this. If the water pump was leaking, all they needed was a good bright LED light and they should have been able to see the residue on the weep hole in the pump.
Roy
Friday, December 21st, 2018 AT 1:20 PM