Sometimes when I go on vacation I’ll check out the local library just to see what other cities have going on. What’s the most interesting public library you’ve ever seen?