In our high-tech world, it’s easy to forget the joy of things that aren’t on the internet. One of those is pinball.