Just ordered steelies with General Altimax Arctic rubber. According to tirerack.com, service installers cannot install tires without working TPMS sensors in place (National Highway Traffic Safety Administration).

I had to pay $130 for 4 new sensors but install was free - not to peeved since the sensors run about that much on rockauto.

The setup should be ready to install and reprogram when it shows up on my doorstep