It’s not just that one button, it’s all of them.
I was actually in the middle of cleaning it when posting this message. Sadly that didn’t fix anything, though it’s now sparkly clean!
From this thread I discovered JVS Visual who is actually local to me and has repaired video mixers! I have gotten in touch to see if they have any insights.