Hey guys ordering new head gaskets for freshly decked heads. I should get 0.040 thickness head gasket or will 0.030 will work?