Have just replaced the distributor o-ring and was wondering if the seal around the shaft ever needs replacing and if yes, is it a big job? Any ideas??