Do any of you have a procedure in place for when someone enters the library with a gun -(in a non-threatening way, of course!) ?

I've been told quite a few years ago to call 911 and have the police come to check permits and such.  This certainly doesn't sound like the best, least inflammatory way to handle it, but I don't know of something better.

What do you think?