My thermostat housing was seeping on the outer seam, so pulled it and found the rubber gasket had been pinched. The lowest of the three thermostat housing studs came out instead of just the nut. Am wondering if finger tight with locktight red is sufficient before mounting the housing back? The stud goes in so only threads are left exposed and I do not want to damage those threads using a wrench to torque the stud back in. There is 3/16” at the tip not threaded, I suppose I could use a vise grip pliers to add a little torque from the tip. Am I overthinking this? Or should I get a similar length bolt to use instead of the stud that came out?