[AKnowles]

Just as a thought, you might want to consider changing your gearbox oil. I would suggest, as has been recommended to me, that you use the Porsche brand gear oil. That might make the gearbox a bit less notchy. It has helped me on other cars and I plan to replace my fluid at 75K miles (another couple of weeks).