I think he means header gasket.
It's a tough one to diagnose because there is more than one thing that could cause that type of sound in that area. It was a header gasket for me once, a stuck lifter, and just plain old rocker noise another time.
With the header gaskets, it really pays to use...