Don’t know the tool P/N but I use a short piece of tubing squared off on both ends and slightly smaller in diameter than the seals OD to install them. A few taps with a hammer and Bob’s your uncle.
Found it #304722.In the past I’ve used an old,really deep socket I got somewhere.I can’t find the socket now so I’ll either find the official tool or make one like Mumbles did.