I will remeasure the lens and see what I get.
I have subsequently found some sites that explain in some detail how to measure the diameter of the aperture.
All that is left for me is to get working on it!