13-year-old is new pinball world champion switch-check switch-x switch-check switch-x switch-check switch-x