It's not a professional pinball event. You're talking about people that haven't played pinball in decades, if ever, and you expect them to know the ins and outs of "arcade etiquette"? Finding the launch button is a success. I wouldn't take it so seriously or personally. They are all trying to have fun. I had somebody get mad at my kid a few years ago at an event because she didn't realize they were behind her for some random game and she started a new one. I think a really polite reminder is fine but making any kind of deal out of it is a turn off that will make people think pinball folks are a-holes.
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