Hi all,
I received the replacement coil from ODK and fitted it. Because the new coil had a built-in CDI unit, one of the wires running to the old coil was redundant, so I snipped it. The mower is running again. Thanks for all your help and advice. If I can get one more summer out of it, I'll be happy.