Pinball Star Amusements, a Pennsylvania-based distributor of Jersey Jack Pinball, Chicago Gaming Company and other…