Quite timely, I just got snows (Nokian Hakkapeliitta R2) on my S yesterday. The TPMS reset procedure seems to be to just drive the car; it simply learns where the TPMS sensors are.
LEAF '13 SL+Prem (mfg 12/13, leased 4/14, bought 5/17, sold 11/18) 34K mi, AHr 58, SOH 87%
Tesla S 75D (3/17) 30K mi
Tesla X 100D (12/18) 1K mi