Sorry if the title is unclear, I ran out of characters. Basically, I got the 20" Wheel & Tire Package from the Tesla Shop installed at my local service center. The package included 4 wheels, 4 tires, and 4 TPMS sensors. My question is, did they leave the TPMS sensors inside my old 18" Aero...