From Hyundai experience, you did what the service info told you to do.

Also from that experience, I can tell you that the OE MLS style head gaskets don't work well with a machined head unless the machine shop can actually duplicate the factory finish, which ... Login to read more.