A person puts a quarter in a pinball machine and presses down on the ball launch lever.