You can stay uninformed or can read it for you self.
As stated before, you gotta distinguish between the actual micro switch and the plastic buttons which sit above them. In my case both the switch and the button was broken. The button broke out of the plastic frame and the switch would only sometimes make correct contact and close the circuit. I got the Plastic Play Cue assembly for free from Denon and actually used a Pioneer spare part for the switch: