I'm thinking about replacing the shifter cables on my Boxster S (136,000 kilometers). The shift action is kinda ropey and imprecise. I had the cables adjusted by a Porsche mechanic which improved things a bit, but I hear these cables stretch over time. Anybody have any experience with this? Is this a proven route to improve shift action in older cars?