your right bob, and the ticking time bomb that potentially is the other three portals has been nagging at me.
i base lined all the fluids in the vehicle as soon as i got it. the portals had been stuffed with grease. this sort of lazy "maintenance" really pisses me off. no doubt they used grease as they had started to leak a little. thing is they only take 600ml of EP gear oil. you could change that stuff out every month for what it costs!
ive got some reasonable priced fully synthetic oil that can be used in the portals, gearbox and diffs to keep it simple. ive also put it in the 80 gearbox and trans box, might put it in the diffs too.
had a lovely conversation with a dutch couple tonight, i say couple as the owd chap didnt speak english, so his wife was translating everything whist we were on the phone. so might have sourced the two gears and housing second hand, which is by far the bulk of the cost.