Will it do any good on a 125k miles engine that seems to have a leaking head gasket to try to retorque the bolts? Or should I just put another gasket with new bolts? Also, what's this about studs versus bolts?