Stern Pinball, Inc. (“SPI”) designs and manufactures arcade-quality pinball games. It is the only maker of arcade-quality pinball games in the world …