The electronic locks on the library doors would not get shorted out just by having a little bit of water poured on the keys. Those kind of locks are often used on the outside of buildings and are designed to be waterproof since they are frequently exposed to rain and the elements.