I have a 1973 9.5hp Johnson that needs a new head gasket. How tight do you torque the head bolts? thanks, Don