I would never put wd40 on my serpentine belt. I mean it relies on friction to spin all of the different pulleys. And someone has said that the coolant made it slip. If coolant made it slip what would wd40 do, it is a lubricant. I have used carb cleaner on a belt that was squeaking to try to clean it off. But Im sure that that is bad for the belt. Also that didnt work it ended up not even being the belt but it was an idler pulley with a bad bearing.