I looked at the Globex holiday schedule, and couldn't figure out if it's going to be regular hours or early close for the ES on Monday, October 11. Can someone clarify? Thanks. http://www.cmegroup.com/tools-information/holiday-calendar/files/2010-columbus-day.pdf