Vielleicht hat ja beim User die Tastatur ein Problem mit gerade dieser Taste.

Standardmäßig ist RESET auch über [Esc] zu erreichen, vielleicht geht es ja damit.

Grüße,
Werner.