7,600 will, I suspect, be about right for anyone that actually wants to go to the match given the price, timing just after xmas, location and the fact it's the 3rd round, except it won't be because people will buy the ticket with no intention of going to get the credit and then tout it.