I decided to change the spark plugs and leads. The old plugs looked in good condition and will do as spares. The leads were made up of slightly different kinds, so I bought a nice “period” set. This was fun to do as you had to make up the leads from a kit.
I used Champion D16 spark plugs. They are 18mm and a little wider than I’m used to.