I agree that Redline oil is not good in a new gearbox from my limited experience. If you really want to use Redline oil, use regular gear oil first for 5000km to bed the syncros in.