I'm half way through doing a head gasket job. I'm doing the same thing you did. I was wondering if you had to take the cams off the head in order to get the 7/16 12point socket on the stud nuts. I noticed it was kind of tight around the intake no2 cylinder one with the 10mm hex I used to get the stock ones out. Did you use a thin wall socket.