Delta drum 18 x 36 drum sander quick shut off paddle for the switch

I bought a used Delta 18 x 36 drum sander . The quick shut off paddle for the switch was broke. I designed this replacement. I just used PLA.