On Sun, 25 Oct 2009 09:08:19 -0700 (PDT), Gel wrote:

main problem is that my wife, when using mower in official manor,
often finds restarting can be far harder when engine's hot than when
it's cold at initial start.

Cure the problem, not treat a symptom.

The engine should start easily when hot if it doesn't then there is
something wrong with it or there is "operator error" in the hot
starting procedure.

--
Cheers
Dave.