That sucks. Unless the right holders have other plans for virtual pinball, I think it's a big mistake. I'm one of those guys that got into pinball because of Pinball Arcade. I discovered all kinds of pins I never knew existed and was hooked. Before long, I bought my first pin. Once you start buying pins then you usually start buying parts, mods, and accessories. That's money in the pocket for all those involved with pinball.