These buttons can often be pulled out (CAREFULLY) and cleaned. I find a drop of WD 40 on a paper towel for the button shaft and on a cotton bud for the hole is quite good.
XXX
February 2017
Automatic Answer
While you wait for answers, we may have found some information which could help you.