TPC light stays on

[kmag60]

Hi everyone. I am new to the forum. Bought a 2007 Boxster recently and love the car. It only had 14,000 miles on it and is in very nice shape. BUT, once I started driving the car the TPC light came on and also the TPMS warning light? The light has now decided to stay on. I am assuming the sensors have a certain life expectancy and mine are shot. So, I called the nearest Porsche dealer (who is 100 miles away) and asked him what the repair costs would be...he stated over 900.00 to replace the four. Needless to say, I almost fell off my chair. So, I know a very reputable local shop and next week I am going to take the car to him and see what he says. What are your thoughts on this? Am I doing the correct thing not taking it to a Porsche dealer? There is no way in hades I am going to pay that kind of money for four sensors and a little labor. I know my local shop (which is very reputable) will cost much less then that (if he can do it). Any advice is appreciated.