I also don’t know the laws regarding open carry in federal buildings (is a police station a federal building?).