[Vince]

You should probably check if the timer is already active before setting it (again). If I'd press the key in rapid succession then multiple timers would be set and they would overwrite the already existing timer handles. This means that these timers can't be killed anymore.