first off your machine shop took off more than 4 thousands .004 just touching the tool off takes .002 off the piece and then add for total taken off they probably took .008 to .011 and id go with the thicker head gaskets normally I replace the head not worth t... Login to read more.