The thing to do is just reset the machine. Inexperienced pin people and kids have been doing this forever. Any arcade that charges a flat fee has the same problem. When you see it happen live, just explain it, reset the machine so it’s ready again, and move on.