There are approximately 3.7k seats, plus 300 standing capacity (definitely room for more, but not allowed, for some reason).
The 10% allocation is made available to away fans, but whatever hasn't been sold by match day is then released to general sale, so the match sells out at capacity.