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.

__________________
Steve Brotherton
Continental Imports
Gainesville FL
Bosch Master, ASE Master, L1
33 years MB technician