I did wonder what would have happened If I'd taken it to a mechanic. I doubt they'd go to much trouble to fish the buggers out. Just replace the water pump and move on I suppose.
Don.