the link you posted is for a aftermarket subaru vendor. I would not consider this to be a "recomendation" from subaru. The redline oil is the same description from the redline site.
just my 0.02
If anyone knows what material our synchros are made of this will answer the question.