If the machine shop milled .013” or .3mm off the head would a stock thickness head gasket be the proper choice? I was so organized I ordered the parts before I thought this through and have a stock gasket. Should I get a +.3mm gasket?

__________________
2001 x5 3.0 (sold with broken motor), 1990 e30 M3, 1991 318is, 2002 325i, 2008 335i Dinan stage 3 6 speed,