Quiet today. Are people off work for Columbus Day?