Kudos to you, Michael for writing this story- I would have never thought of it, as I am a constant user of the library and have been my entire life. A have a lot of librarian fiends too - none of whom are stern. I'm glad you ventured in and checked it out! All good info to share.