One of my JTec bolts has ended up stripping the thread inside the head, for what reason I am not sure but I have a strong view that it was because I left out the gasket and only used the red silicone, hence the expansion contraction differential had no tolerance in compression when the engine warmed up. What's the best solution to fixing the problem?