Ah, I'd assumed that the 10K distribution would be to fans only. I based this on 10,000 fans for each side, plus the 13,000 in the ballot which only gives 33,000 out of a 43,000 seater stadium. I had just assumed the excess 10,000 would be the tickets going to corporate and family members etc.