727 shifter shaft seal

Yes it's like a miniature front seal; the kind without an outer flange. Pry it out from the top with a screwdriver and pull it in from the bottom with a slide hammer. I always use sealer on these.