hmmm ok, well, that bit of information helps. I wasn't doubting you at all, just thought I would pull up some specs and compare, It does look to be the diameter of the set screw cover casting. Unless, as you said, the supply chain has changed, and I don't know how old that info on the specs is. At least now I know what to expect if I decide to change out the pups.
Thanks Simon.