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

Odd question, but I'm driving 13 hours to go fix my son's truck (and car), and one of the things I know it needs (among many things) is a new seal on the tail shaft of the transmission. I just wanted to be sure I have all the right tools before I make a fast trip.

Thanks in advance.