Thank you for that info, but John Deere only offers owner's manuals,
which do not contain any information on basic engine tune-up
procedures. They want you to take the machine to one of their dealers
who charge $$$ per hour to do tune-ups.