In Dresden passen 4412 Zuschauer rein, das ist unstrittig. Die genaue Aufteilung konnte ich nicht ganz verifizieren. Laut Wikipedia sind es 2799 Sitzplätze und 300 VIP Plätze, demnach 1313 Stehplätze.
Macht 1313 + 2 * 2799 + 8 * 300 = 9311.
Wenn es für die zwei modernen Videoanzeigetafeln 1000 Punkte gibt, reicht das.