Which of these two arcades is the "world largest"—and does it matter?