There's a world champion pinball player in Colorado

He just won the "A division title" at the "Professional and Amateur Pinball Association" world championship.