Small Engines (Lawn Mowers, etc.): Craftsman DYT4000 18.5 OHC, craftsman dyt4000, model number

Question
I just need to know the correct gap setting between the coil and rotor.
Thanks
Sid

Answer
In general, a business card will suffice, as that gap is not that critical.  But for specifics, I will need a model number off of the engine, or at least the model number off of the tag of the mower, it is usually under the seat.  Or at least an engine brand would help,
Thanks.