Just a question for you more experienced cruisers - historically have there been any discounts offered for cruises later in December say just before Christmas or just after (not New Years)? We are planning our first cruise for this December and DS will not finish exams until the 18th so that rules out the current special for cruises thru 12/18. We are FL residents, so I am particulary interested if other FL folks have any input, but info from anyone would be appreciated. Thanks!