Nat,
I don't know off the top of my head what size the cover hold down bolt
is but remember it only holds the cover on - there is another bolt that
actually holds the distributor in place. That bolt is not damaged by
removing the cover and can be re-used.
The cover held on with the "mushroom" head bolt does not even have to be
replaced.