Se não me engano os modelos do Mitra atualmente vêm com switches removíveis e alguns switches extra. Aí se der qualquer problema é só trocar o switch. Não tenho certeza se
realmente vai vir assim, mas é bem provável que seja.
WD-40 é a marca, se for óleo desengripante qualquer um serve. Porém não é pra ficar reaplicando. Eu já usei óleo em várias coisas, inclusive em mais de 10 switches Outemu e sempre resolveu e continuou sem retornar o problema por vários anos. Se o problema ficar voltando em pouco tempo, aí é melhor partir pra outras soluções como a troca do switch, ao invés de ficar botando mais óleo. Mas geralmente resolve facilmente e aguenta sem problemas, não precisa perder o sono por causa disso.