I have 87 7mgte with a blown head gasket. I recently took the head to the machine shop and they said they had to shave .010 below mininum thickness. Is the head worth anything now? And if it is, how thick of a head gasket do i need? thanks for the help jeff