1982 308GTSi stock 81mm liner. Can this be bored to 81.5mm or 82mm? Can the stock head gasket be used or is a customer gasket needed? Many thanks.....