Variety is the Spice of Life with Digital Pinball Machines