Measure it before and after and you'll find they've removed some from the height anyway and more often than not they've took off more than 0.2mm

You can get HRC gaskets in .4 and .6 (and the stock .5 one) to vary the squish. You've got to measure it really unless you know the barrels and heads are totally standard.
_________________
Please do not PM me technical questions, if you can't find it on the Forum start a thread