I would call that totally false. Most of the people who buy a pinball for a gameroom, do not know about pinside, do not know how many different pinball companies their are, they're just buying a pinball game for their basement.
Pinball is consider a retro thing, and many things old are new again, same for pinball. If someone goes into a high end game room store, they'll buy the games based on the theme, not the brand. A lot of people want WOZ over all other themes because its so well themed. A lot of people buy Ghostbusters because they love those movies from the 80's. They don't care about the code, they don't even know that pinball is a strategy game, they just think when the ball comes down you hit it.
Pinball is a retro item, and the mass majority of all pinball games available to buy where NOT made by Stern. Even though Stern is selling the most today, and have been for years, the most cherished games are still those not created by Stern:
Reality is things change fast look at Apple they just stopped ITUNES! Blockbuster closed. Disney is essentially trying to put Netflix out of business. Amazon has closed several retail brands. Everything changes. Right now the most successful games are redemption based not pinball.
There is only so many pinball games that will be sold over the next 10 years, and I don't think any of the current pinball suppliers can say they will be the leader without any doubt in 10 years. There is a lot of innovation that can happen in pinball, and the company that embraces that could run away with loyalty. Sorry by Stern is not pushing this thing down the road, they're standing pat. We'll see if a company like Deep Root actually changes the game, even they do things can change fast. Looks like JJP will embrace standard games only, making more games than in the past, and getting into cheaper pricing. As they're figure out how to mass produce they could take it over... because Stern is getting worse with effort not better.