Just to help me as I am on the same dilemma on what Gearbox oil to use, as its currently running 75w-90... Car has only moved 7 miles though just incase its not right.
Opie Oils says 2L of oil - Millers EP 75w-80 GL5, Motul 75w-80 Synth, Fuchs Titan 75w-80 and Redline Synth 70w-80 GL4.
Autodata says 1.75L of oil, and a few other websites said 75w-90!! And also sometimes 2.35L if its been into Vaux for a recall.
Before the oil was red from what I remember! Gears are nasty now TBH and the selector does not return to middle on its own, but that could just be the linkage.
Si