I got some spiled of coolant on the inner side of timing belt while I was draining the coolant. I wiped it off as soon as I could remove the covers. How critical is this. shall I let it go or is the matter of replacing those. Thanks.