So changed my gearbox oil to some Redline 75W-90 gearbox oil. When I was getting rid of the old oil (changed by Renault July last year) there were some little extras in the oil.