Replacing water pump and was trying to remove belt tensioner but the bolt was already stripped. Tried using socket extractor with no luck and heat & wd40. I watched some videos and to loosen is counter clockwise is this correct? Any ideas on how to remove bolt ? Thanks