I am getting ready to do the dreaded intake gasket replacement. I am also going to install all new vacuum hoses. The only torque values I have been able to find for the Torx bolts is 6.5 to 9.0 ft/lbs. This seems pretty light. Is this correct? What size is the Torx socket required? Also I am going to clean my Idle Control Valve using WD-40. Would it be better to just replace it? I have around 90,000 miles on the car. I would really appreciate this information. Thanks in advance.