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

Murray said
Is a worn bushing causing the seal to leak?

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.