After two new tires were installed on wife's 2007 Mazda3 the TPMS light came on after approximately 20 minutes of driving. Flashed and then stayed on full. I checked the pressure. The Firestone dealer inflated her tires to 39-40 PSI well above the 32 PSI recommended in the door post label. I deflated them to 32 but the light has remained on after several hours of driving over two days. Two possible causes: (a) dealer broke a sensor(s) when installing the tires and rotating the other two; (b) the TPMS needs a reset. In the event of (b), is there a button on a 2007 that will reset the system?