A note of caution...the manual specifies changing the oil on a schedule for a standard box. As long as you stick to regular changes, all is good. If, however, the box has gone well past the change interval, then just top it off. Do not change it! Here is the reason:
As you drive ( and occasionally grind a gear or 2), the filings slowly collect in the box. If you change the oil frequently, the filings all stay suspended enough to come out in the change. If you don't, the filings become trapped in a sludge build up in the case, within the countershaft etc. If you then change the oil...the filings come loose all at once and trash the bearings immediately.
I have twice changed gearbox oil in old boxes. Both times were a disaster. The first time the countershaft scored through and broke within 2 days. The second the box started making a hissing bearing noise the next day. A teardown reveal metal filings in all the bearings. Both boxes had magnetic plugs...showing they may help, but will not save the box.
So, if you know the history and the box has seen regular changes, then keep it up. If not, I highly recommend just topping it off.
John