Libraries are closed Columbus Day, October 9.