Columbus Day/Student Holiday October 9th is Columbus Day! No school for students - it's a staff work day! Classes resume on Tuesday, Oct. 10th.