 It doesn't seem like there's any crazy changes. I mean, they said that they already were pretty confident in their plan. They're going to do some security enhancements. But in terms of the specifics on what those are, I don't have those in front of me. But it certainly is something that everyone's watching for, especially after the events of last weekend. Right. And are we getting any more information about that alleged shooter, Thomas Matthew Crooks?