Hey guys lately i started rebuilding my ka24de and I dropped the head off at a shop to get it pressure tested and the machinist said that the cooling passages were messed up. So he had them welded and then when he was resurfacing the head, his machine went a little deeper into the head

. But he said he was .005 under the limit. So how thick of a head gasket do i need??? I tried calling the shop back but he's on vacation

.