“Pinball is a genuine subculture. Lawn tennis or duckpin bowling might be more obscure, but not much. Once a popular attraction at arcades and bars across the United States, pinball went into a death spiral in the early 1980s, done in by video games, and it has struggled ever since.”