My girlfriend bought a honda 3011 mower that won't fire. I think the plug may be fouled. Does anyone know the model from the factory? I want to try and see if that works.

The hardware store should have a book listing the various models and the plug required.

There should be cross reference books available using the model number.