 Working properly. No crowd strike issues here. Well, that's good news. By the way, did you notice the influx of travelers there this week for the Major League Baseball All-Star game? Yeah, look, it's funny. There was definitely more people in the Arlington area, but I'd say traffic around that area was lighter than it is after just a normal Cowboys game.