So the car has just shy of 77k it.

I don't think the gearbox oil has ever been changed. There is a very slight whine coming out from gearbox in 6th when doing motorway speeds.

Should I change it?