Hi mate, There is a direct correlation between 10W40 and 75W80, it is all in the numbering system - very confusing ! - the rating system is definitely not the same ! - one cannot compare them side by side.
See wiki here -
https://en.wikipedia.org/wiki/Gear_oil
Also note -
"API viscosity ratings for gear oils
are not directly comparable with those for
motor oil, and they are thinner than the figures suggest. For example, many modern gearboxes use a 75W90 gear oil, which is actually of equivalent viscosity to a 10W40 motor oil.
Multigrade gear oils are becoming more common; while gear oil does not reach the temperatures of motor oil, it does warm up appreciably as the car is driven, due mostly to
shearfriction (with a small amount of heat conduction through the
bellhousing from the engine block)."
The minor differences are some of the EP (extreme pressure) additives) - however - due to no differential on the
PG1 box (it is in the IRD) it is no issue.. so yes - 10W40 Automotive is fine. - IF however - it had a built in DIFF - it may be more of a concern - not to be bit to others
Fear not little drooping seat (to quote the Goon Shows) - sheesh - my age is coming out now - - 'tales of old Dartmoor' etc///