I have a Dangerous Music Source. One of the momentary push buttons started to fail (I have to push it so hard to work that I'm afraid of breaking something else... I tried to re-solder it, but it seems to be an internal issue).
These buttons have an integrated LED (green in the case of my broken one). They have 4 pins to the circuit board, 2 rear ones for the contact, and 2 front ones for the led.
The space between the 2 front pins (LED) is 6mm.
The space between the 2 rear pins (contact) is 4.4mm.
The space between the row of 2 front pins and 2 rear pins is 5mm.
The width of the dark-gray plastic casing of the button is 7.5mm.
I am attaching 3 photos (downscaled to 1024 pixels wide) that show the button in details (I have removed the button cover and placed it on the board nearby).
Due to the Stack Exchange 2MB limit on image file size, the full resolution images are on my website here: https://florianbador.com/pub/dangerous-music-source-broken-switch/
What are these switches? Where can I find them?