Rebuilding the flippers if they're old is going to help a lot more than cleaning the flipper switch will. Since they're high current switches, best way is probably with a flexstone or #443 dremel brush. Might be worth just replacing them as well as rebuilding the flippers though. Don't forget all the power has to go through the EOS switch as well as the cabinet switch.