looks like its raspberry pi driven? which is pretty cool with the larger board just controlling all the high current ouputs / lamps and probably the switch matrix.

Is that a open source logo top left?

also noticed its using ws2812 style addressable leds. There is quite a big debate over weather these are a good choice under a pinball play field due to interference.

Not many people realise how much it actually costs to design and produce a pinball machine and make a profit / cover the hundreds of costs associated
with it. (heighway/dutch/skitb certainly did not..) Any one who can do this without asking for any money up front and produce machines is pretty impressive to me. Hopefully the profit will be put into the next game with a few more features, maybe bigger display? who knows. Not every one has millions in investor/pre order money to start with!

I think they have done very well! (plus they appear to live 20min from me )

no server crashed, too many people placing orders.