I just pulled out that drive shaft of which you refer and did nothing else. Since the pumping device in the pump was pretty well sealed to ensure the correct oil flow during normal operation, apparently if any oil leaked by it wasn't much. Left what oil was in the tank when I made the change...