In pinball — the classic arcade game that enjoyed its heyday in the 1970s and ’80s, with a recent resurgence…