Since it is already out, I would change the pumps front seal, pumps outer o-ring, pump to case gasket, and shifter shaft seal. All available from an auto parts store. Cheap insurance to keep you from hating yourself later, if you find a major puddle under the car.
PS, The front pumps bolts break off very easily when tightening them down.