I need to replace the smaller O-ring on the shaft that seals out the oil. It looks like I'm leaking a fair amount of oil out of mine. Can I pull the distributor out far enough - without removing the battery box, or will it be necessary to remove it?