How to turn off the TPMS light?

I had my new tires put on. When they did this they broke one of the TPMS sensors. They installed a new OEM sensor this morning but the light on the dash did not turn off. They tested all the sensors and there all working and to give it about 25 miles of driving for it to turn itself off.
 
Is anyone familiar with this TPMS system. Will it turn off or do I need to stop by the Mitsu service shop to have it turned off?

The TPMS is one of the most stupid ideas that manufactureor's have ever came up with...Those stupid lights kick on all the time...Even our Ford vehicles (I work at a Ford/Mercury dealership) have those in about every car now...Maybe try disconnecting the battery terminal for a minute.

I'll try the battery trick, if that doesn't work the dealer wants $90 to turn it off. Holy sheet, what a rip off. At least my MINI Cooper and my wifes Toyota Sienna you are able to turn it off yourself via a switch.