[Alan Anderson]

I've never found contact bounce to be a problem on any joystick button, or on most separate pushbuttons we use. However, we did have to add debounce code for one of our foot pedals a couple of years ago.