[schlauerfox]

For reference: Stern is nearly the whole market, but there is Jersey Jack and Spooky Pinball, and a handful of smaller players in the market. There is an incredible private community over on pinside.com if you want a community of real people to chat about these machines.