been there done that - many times.

the best solution is spray the switch with WD40 and use a brush to move the WD40 in the switch area... rock the switch back and forth multiple times... and wipe away the residue.

this will remove any sticking of the switch and function as normal without any side effects.