That is a good point about the shaft, definately look if there is wear. If it is just leaking a little, I'd just put in a new seal.
I think mine was around $10 from the dealer.
Just dig the old one out, and press the new one in.
(I coated it lightly with some fresh oil but that's just me)