It seems no one had noticed, which is good, but we were short our spare key to the front automatic doors. I got a replacement. So while the key to the automatic doors remains on the keychain in the card catalog, if we are unable to find that key, in a pinch, we have an extra on the master keychain.