After having my plugs replaced at the dealer, the idel pulley for my A/c came loose and melted a hole in the timing belt cover. Do you remove this belt when putting in new plugs? I am trying to figure out if the dealer failed to tighten the nut or if I just had bad luck.