Whatever they did with the coolant probably wasn't as intrusive to the belt as when the radiator broke. Usually loads the belt right up with fluid and it can be noisy for a while after that. A bad tentioner will also do it.
Bosch Master, ASE Master, L1
33 years MB technician