I take it there must be other people who have changed the gearbox oil without the use of a pump (thing)?? What a f**king pain!!
However nearly there on my full service.
So far I've done oil change plus filter, air filter, pollen filter, timing belts and serpentine belt, Fuel filter, IRD oil...