Ah, wondered about that, i think i have mine set to 2 minutes. I'm ok with that, it's home use and not everyone is good at pinball, so they can keep playing.
Great to see you're enjoying Pinside! Did you know Pinside is able to run thanks to donations from our visitors? Please donate to Pinside, support the site and get anext to your username to show for it! Donate to Pinside