Head bolts are star wrench style. Anyone know what size this is? Looks like 12 point but did not count. Need to get the tool tomorrow.bob