Yes, a piece of personal input on this situation, having a vehicle with those sensors and having recently replaced the tires and having an issue with one of the sensors where the tire repair shop could buy the sensor--it set me back $80, but that's okay--but they couldn't reset the system in the car. It had to go to a dealership to get reset. That was a huge inconvenience to a customer.
On November 22nd, 2006. See this statement in context.