Closed Columbus DayThe library is closed Monday, October 11 for Columbus Day and will re-open on Tuesday at noon.