At one time it was hydraulic oil. So you may find some referances to this in old documentation.
This was changed to normal engine oil many years ago.
I have a PRM 101 gearbox and was told this by PRM Newage when I was doing some investigation several years back.