Sounds good. So just ignore the ".2"

A 1 mm thick gasket will be perfect.

BTW, when my head was machined (and the only problem I had was warpage), not enough came off to warrant going up to the 1 mm thickness, according to the machinist.

__________________
2001 X5 3.0i, 203k miles, AT, owned since 2014