Looking at using the Petronix 3 distributor with the Eddy heads on my 440. Guy in the parts store says there's a note in their catalogue that says aftermarket heads may need to be ground down to make clearance for the distributor. He then said it's an older catalogue. I thought Pertronix had reduced the diameter of their newer distributors to avoid just this. Anyone using a Pertronix with Eddy heads?