Pinball Machine is Fun to Play—But it’s Not so Fun to Watch.pdf