In today's trivia, what is this?
#pinball #arcade #trivia
@apzpins illuminated pushbutton…?
@root42 That it is, but what in pinball uses these?