Outside diameter of the dizzy cap terminals approx 14mm.
Inside diameter of terminals approx 9mm (difficult to tell as its tapered - approx diameter of the copper bit)
I've got the straight cap and right angled leads (4x4 i think)
Got both the cap and a lead sitting next to me so can measure more if needed