Pinball and the “Wall of Fame”Pinball versus table football — which is more worthy of the “Wall of Fame”?