Hi there, will be bringing my 06 F350 6.0 into the shop next week to get the head gaskets changed, I will be installing ARP studs, and will be blocking off the EGR cooler, My question is are there any performance head gaskets out there, or will the stock ones do the job. I will be running a tuner after it gets fixed, Hrpermax makes a performance head gasket set but their pretty pricey. Appreciate any info