Myles, in the "for what its worth department" mine also was the same diameter. Had no trouble getting it out. I have since sent all the parts to Advance to check fix, if needed, and rebuild. I decided that even though I'm a resonably good wrench, I don't have the nessary skill sets for the distributer so it went off to the experts.
Good luck, Tinkerman