Just received a refurbished Craftsman from a Sears outlet 24 hp, model 20403 GT. It is a keyless start and the operation is not covered in the manual I got, which is last year's edition. How do I start it? Does it have to be setup? This keyless function is really stupid. I will go through my papers and talk to somebody at Sears but If someone can give an idea, I would appreciated.