Yeah, it doesn't quite stack up. 5.5K sounds to me like it should be the whole bottom tier which is pretty much exactly what we had for the cup tie a few years back (I don't recall us having the top tier that day). Either way, it is enough tickets I think, still doubtful that we will take that many.