Export thread

I have been lurking on this site for some time & thought I would join to ask a question about a Jacobsen model j-100-v mower that I came across.
It is not getting any spark & I do not know how to remove the starter pulley to get at the flywheel. Any info on this mower will be greatly appreciated.
Thanks in advance

I am updating this thread.
The pulley is threaded. I got the flywheel off & removed and cleaned the points. I now have spark. The engine model # is J-100-V. Does anyone know what is the correct plug for this mower?