I’ve heard other reports that Austin was between 3k and 5k.
It could very well have been, I was in the back and couldn’t see very well.