I'm thinking a lot about the state of pinball. My most favorite hobby.
Do we even want things bigger? I'm not so sure.
There are things I would change, getting pinball more popular is desirable but precarious.
So does it matter to you? Its popularity?
One benefit to heightened popularity would lead to better games. Perhaps more builders.
Heightened popularity might makes pinball worth more. That is not a motivation for me, though.