Especially at a serious government building that's typically always has law enforcement during the day as security there in important. As opposed to some mid-level corporation office which they'd normally hit up.
Some precautions in the situation just sound prudent.