I used a small gear puller I had rented to get mine out....slid right out. Since I had the tranny apart I was extra cautious and placed a fat brass drift between the shift shaft and case so the pin and gate wouldn't be taking the force. Of course this was in the morning with a clear head. Several hours earlier at 2 am I couldn't get the thing out for the life of me. Did something stupid, put channel locks on it and didn't bother to protect the shaft with electrical tape, shoot didn't even push the shaft all the way in so if it got nicked it wouldn't be on the sealed surface.
Gear puller makes it cake though I'm not sure I'd want the pin pushing again the gate, I have no idea if the force the puller applies is excessive for those components.
The manual shows a tool to grasp the seal that fits on a slide hammer.
Removal of this seal is one thing that is absent in the video!