does Columbus Day affect crowds at DL? We're looking at 10/6-10/15 next year which falls over Columbus Day weekend.