We have decided to book a Disney trip oct 7 thru 14. I'd prefer not to go during Columbus day but with dh's work schedule it is the best bet as he gets 7 days off in a row ever few months so this way we would only need him to take 1 personal day. If we do it then I'm guessing there is not going to be much discounts offered as Columbus day is the 13th. Should we book now or wait for a discount.