10% is not the criteria for away fans in the PL.We give away fans 3,000 or 5% of capacity.same as yours, 10% of the capacity so ours is 2500. Not a lot of clubs have taken their full allocation this season
If you average gate is 24,000 and you give away fans 2,500 tickets that makes means the average home support is approx. 21,500.You getting 25,000 tickets for the final seems like a good deal to me being 20,000 of our season tickets holders wont be able to get tickets for the final.

.