Head Gasket

yes. LOWER intake gasket is notorious for leaks. I think they make a metal one now for the 3400. Should definately replace those/both while in there.