Once again it looked like more than was announced to me. I know there were hardly any away fans, and I was ESU so couldn't see lower, but it looked a lot more than 9k.