This ban is unnecessary.  There have been no issues with carry in these agencies and by forcing folks to leave their guns in their car, more guns will get stolen and the owners, now disarmed, are more likely to be robbed, to or from venues, if the criminals know it is a gun free zone!