It's such a PITA to do twice that you're better off just doing it once and forgetting about it for the next 5-10 years.
That is kinda what I was thinkin but just wanted to be sure it was the right thing. How difficult is it to swap the outer rubber seals?