I recently had my radiator replaced after the neck broke . I then developed some belt noise. The techs said they got coolant on the belt and that is the cause. Does coolant cause this sometimes? Should they not have drained the coolant out the bottom to avoid this?