No they didn't, its my girlfriend's car. Do you know how to reset the tire pressure sensor on a 2002? It was the "Prius tech" who finally got it running - Don't trust the dealer's shop! Thanks for the reply, Kibo
