I'm getting ready to install the barrell on my Mk IIA, and was wondering if anyone has any experience with using high-temp sealant on the gasket. I know that Mick Hemmings recommends not using any and just putting the paper gasket on dry. Is there a good reason for not using a thin coat of sealant? It seems like good insurance against oil misting out of this interface.