I was going to go with the redline. Have used it in the past and know it's a great year oil. Just saw the motul stuff and when I went to read some reviews of it, saw there were none.
I have used (in no particular order)
m1, redline , motul, supertech, castrol, subaru extra s, valvoline, wolfs head, amalie
No noticeable difference in differentials. Tons of difference in Transmission.