What size driver (or socket) to install tail shaft seal on a 904?

Unknown, all I know is my son sent me a picture of the seal hanging around the yolk, lol… I said, that’s not good.
In all likelihood, the seal got knocked out by the slip yoke from the bushing being worn and allowing it to flop around.

So the seal was hanging around an egg?