John,
This is probably one of the best sources for Distributor caps
https://www.holden.co.uk/p/lucas_dvx...istributor_cap
If you want an new original Lucas cap rather than this Holden reproduction type I will surely have at least one available.
Geoff