There was a big discussion on this topic recently.
I just changed mine to Swepco 201. Made a noticeable difference in the way the car shifts.
I think the synchomesh oil you are referring to is made for cars w/ brass synchros. Porsche uses steel synchros.
