Thanks for the replies guys! Good to know that's supposed to be there and that's not something someone added to try and fix a distributor issue. Can anyone recommend a good rebuild kit for this series of distributor?