[yvesvidal]

Before plucking down thousands of dollars with your local Porsche dealer, I would try the RED LINE oil for gearboxes. Agreed, it is not cheap, but infinitely less than what you will pay at the Dealer.

I have used that oil in all my gearboxes, on all my previous BMW cars (E30 M3, 540's...etc) and cannot comment how good it is and how it improved the behavior in cold weather.

I cannot believe that a 20K miles car would have such issues with a manual transmission.

Yves