I'm looking for what presently works for the FF gearbox oil, and F1 oil for the same car. It's easy for me to get Redline stuff, and some Motul stuff....