5000人試合をホームで何回やるかによるけど
・1試合限定ならシーチケのランクが高いから優先
・複数試合ならシーチケ全ランクで抽選
でいいんじゃないか？
30000人規模になれば仮にシーチケ民全員が申し込んでも1万以上は一般販売に回せるし。