TPMS Nut Size?






Both sets have been rebalanced by Discount Tires.
Today I discovered that one set of TPMS nuts use a 12mm deep socket, and the other set uses a 11MM deep socket. A third set from a 2014 C7 also takes the 12mm.
The nuts are slightly different in the barrel but appear interchangeable.
I'm guessing that Discount Tires switched in their own nuts when they installed my new sensors, perhaps because they have a socket/torque wrench combo that fits a "universal" TPMS.

What size socket do the factory TPMS nuts actually use?
Any other ideas how this mis-match came about, possible problems, etc?
Thanks!




