FoMoCo TPMS stem sensors are self-setting. I confirmed this with my brother-in-law (a Michelin Tire Dealer) and the dealer too.
I have the Titanium Performance Pkg with 18" rims and a 16" steel full size spare. I had the dealer order 4 more matching steels (why have 3 different rims?) with 4 TPMS's at dealer cost (I used to work there) and Michelin X-Ice x2 winters from brother-in-law.
Once the car was on the road fo a few minutes the TPMS light went out and no problems since.
I keep the winters in michelin tire-totes and swap at first snow fall.