I have a 57 with a 235. I was cleaning the distributor and noticed 2 groves in the middle of the shaft. Would these be for an o-ring seal? If so what size would they be?