Which gearbox oil do you guys recommend?

[MikeCrum1996]

So I want to change my gearbox oil as it's never been done before it's nearly at 130k, do you guys have any recommendations I know it's 75-90 but what's best?
Also what's the best engine oil 5-40 or 10-40 ?

Thanks
Mike.