I was wondering if anyone was in Miami this weekend for the Super Bowl game. And if so, what was your experience like? Miami seemed to be very conscientious about security. Any surprises?