I've used a repair sleeve on several of the CR engines and always used a stock head gasket. I seem to remember seeing mention of a different head gasket for engines with a repair sleeve, but I can't remember where it was. I haven't had any trouble with the stock head gasket.