For kids of a certain age — say, 35 and up — it’s the stuff dreams are made of: more than 900 vintage pinball and arcade games, with almost no duplicates among them. Although many of these machines ...