Redline took care of my 3rd gear clunk at 70000 miles even when its below 32deg. I use it in both of my Audis with manual transmissions and they shift beautifully.
I've always use this Valvoline comes in a grey bottle full synthetic and it's good with limited slip differentials as well in all my manual cars and I've never had any issues. kind of odd that I would have issues with it in this car after so many cars that I've used it in and I doubt that that's the problem.