Hello, fellow bmw freaks I need your opinions on the best gear oil for my 87 M6 transmission. I am rebuilding this week, just got all the parts. The 3rd to 4th gear fork was worn out. Which is better, synthetic or mineral gear oils, and what name brands.