I'm so sad about modern pinball closing. It was such a gem.