Can anyone tell me the head gasket thickness of the 3.0L duratec? Heck.. the thickness of the 2.5 would be okay too.