Difficult as thast a lot of users.
My first guess would be pico cell deployment, band select and per user bandwidth limits. Along with 802.11n access points.
I am sure antenna selection would be difficult. I would be thinking of patch antennas.
As I am largely familiar with Cisco pico cells may not be the right approach as there are client probs or rather challenges with that.
No doubt some other manufacturers have unique solutions.
I guess they used apple wireless?
I maight even just ask someone else to do it and absolve myself of any responsibility.
Must have been embarassing and I would imagine there were a few questions asked after the fact?