I’m pretty positive there is a security screening of everyone that enters that building and if you get a weapon past them, you are still breaking the law. I don’t believe you can legally carry a gun in that building, if you aren’t law enforcement. I may be totally wrong, but I’m confused as to how they didnt get charged with anything.