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

CudaFactHackJob said
There were two different sizes.

Which were?