Apparently a certain city has discovered that pinball is still technically sorta-kinda-banned in their jurisdiction, and they are fixing that.