 So on that, that is an external investigation. The police department has no role in that. I don't know where they are with that. As far as the building itself, there's a core team. I'm a member of that team that meets on a weekly basis to discuss the headquarters project. We actually meet in the building. We discuss the project, then we walk through the building, and we look at what's being done and how it's coming along. And the first thing I always ask is, are we on track?