Changing the gear oil in my 89 328. Anybody ever use LUCAS 75W-90 synthetic gear oil? I have read some of the other threads but "red line" does not...