We can pick any other value, no problem. I have picked 300, because a normal short push is  ~150 ms And I want to minimize the time the DJ is bound on the button. Did you have good (natural) test results with 1000? Then I will change to 1000.