Greetings,
Somone at my work accidently topped off one of the small engines with diesel. I would guess that about 1 gallon of diesel was added to the 7.5 gallon tank. The Diesel gas mixture was removed and the plugs and fuel filter was changed. Fresh fuel was added and the engine runs fine now...