The one on my old 535 required a cleaning before it worked properly. It's been so long ago, I don't remember taking it all apart, but it was removed and sprayed down so the switch operated right. Be careful with contact cleaner, it will remove the finish from the switch. Work it with WD-40, it should be ok.