Only thing to add is that there are two frequencies used for tpms ('08 and '09 share) and the '10-12 share the same freq. So you should be able to air those up to 36 psi or so and the light should go off after 20-30 minutes of driving. That way you know now that the correct sensors were installed. Then as Kbwwolf mentioned, air them down to the best psi and if the light comes on, you can buy a Procal (about $150) to change the threshold. Another member bought sensors and the dealer installed the wrong type - you want to know and have that corrected before the installer complains that they are 3 months old.