Still not having found any books, we went back downstairs to the information booth where I asked a kindly older gentleman how to get into the library. It was at this point that he tried, to his credit, not to laugh as he said that the library wasn't located at this spot. The city had outgrown it and moved a few blocks away. "Oh, when did that happen?" I asked. He replied, "Oh, about 1975." Oh well, a dose of humility is good for everyone, isn't it??? Shouldn't someone remove the name from the front of the building so as not to confuse other innocent tourists?