I recently did this on a 9000 CS in the course of changing the crank pulley, because I was there already. But whereas the old one did not leak, the new one I put in evidently does.
It's a straightforward job, though--unless there is a packing or insertion method when emplacing the damned thing that I missed out on?