Have a John Deere JS38 push mower.
Purchased in 2012 and has worked great.
Sometimes bag grass, and stop engine to empty clippings.
Never had problems with it re-starting until end of last season.
When I stop it to empty clippings, it will not start unless I leave it sit for approx 15 minutes...