Thanks everyone for all the great input, I used the "Blue Devil Head Gasket Repair" and it seems to have worked. I will add the JB Weld as well. The set screw fix will be the next solution if it starts to leak again.