I just did some googling, and discovered that at least one NASCAR pit crew puts a super lubricant that they mix up onto the studs to reduce the amount of power needed to torque the nuts down. Then found a tire shop that said "no oil or grease," and one that said "use oil and grease." So I guess it is up to the individual...