Pinball versus table football -- which is more worthy of the "Wall of Fame"?