The semi was 11,000+ and only around 6k were season ticket holders so 5k from the semi alone. Considering around 25,000 were sold between 6k season ticket holders then I would expect most of the allocation gone before general sale. Maybe only a few thousand left