I am rebuilding a 1997 6.5 diesel engine and I'm wanting to run a turbo that makes 20psi of boost. I found on quadstar tuning. I bought arp heads for it and I talked to a machinist that's doing the heads for me and he said I need to put a thicker head gasket on which idk what thickness or the...