The garage told me that he could use a heli-coil in the stripped out hole. Does anyone know if you can or have to use gasket sealer on the EGR gasket? If I can get a good enough seal, I might be able to fully tighten only one of the two EGR bolts.