I've found the hard way up here in the U.S. Northeast; when you are getting ready to store the rider mower for the winter in the old shed:
1. after last use, make sure you leave the mower outside the shed with hood open and let the engine cool to *cold* again
2. then push the mower in the shed...