I notice on my 2001 Lazer Hp 52" 23 Kohler that the choke cable drifts ot about a 1/4" or so after you push it in. My dealer said "this is normal, it's just a little spongy, it won't hurt anything". Is this correct? I also notice when the machine is at a low rpm and you push the drifting choke cable back in, it revs up the engine a bit. Thanks for any light you can shed on this.