What is the red button on a garbage disposal