Determined that the bolts on the thermostat housing cover require "external TORX" socket for tightening. Found a nice six-socket set manufactured by Lisle at Sears ($20). Size required for this job was E10.