Gear Change Staffs How much Oil

How much oil for a staffs MK5 type box just for a gear change - not draining the R&P area is required?

Never emptied it and tossed the old out before.

Thanks in advance

Gear Change Staffs How much Oil