Today I had my tires rotated and of course they stripped the metal cover on two of the lug nuts, cheap things. Anyway when I need to change a tire I would like to know how much to torque them to. What's the torque recomendation for the lug nuts, thanks.