So if the pump broke up, where's the bits gone? Hopefully, they'll all come out when the coolant is flushed and not get stuck in the thermostat or heater matrix.
I haven't seen it yet, so don't know if it broke into big bits or little bits. I'm sure the garage won't leave them floating around the engine.