 So a guy there who owns Pastimes Arcade has just been awarded a Guinness World Record for having the world's largest collection of pinball machines. Pinball machines are huge. I mean, size-wise, they're huge. This guy has 1,041 pinball machines.