Got my cylinder head back from machine shop shaved .011. I was told I need a gasket .2 thickness. Is that normal, extreme or a average?

Good source for a quality gasket that SPEC.

Thanks.