[J.Jensen]

The head gasket would have been killed if the bolts loosened. Did he say what torque to redo them with?

The whole retorque them thing really puzzles me. You will not get a correct torque by adjusting the wrench to given setting and clicking on an already tightened bolt. The breakaway torque of the bolt plus the existing torque will be higher than the torque setting it was given - and the only thing you accomplish is you know it had not loosened.
To retorque a bolt or nut, you need to back it off a quarter turn and redo it properly - which you cannot do with deadbolts that stretch.