Shift shaft seal

How is the shift shaft seal removed/installed on a 727? I can't seem to find the info anywhere. After half a dozen calls, I found a place that actually knew what I was talking about and had them in stock. I need to bring the old one in as they told me there are two different sizes.

Thanks