Isn’t this a tactile switch soldered to the board? I had one go once. Got a bag of twenty from RS for £2 with free delivery and just cut stalk to right size.
Mike.
PM me if you’d like me to send you a half dozen.
sorry i havent seen this job i was asking on behalf of a local engineer, i am trying to get him to join uk whitegoods, but i will ask him re your suggestion thanks