We are planning our first cruise (3 or 4 day) for Christmas break this year. DS will not finish exams until 12/18 so that rules out the current FL resident cruise special that runs thru 12/18. Just wondering if someone could give me an idea of what discounts have been available/offered in the past for cruises right before Christmas or right after (not New Years, necessarily). Of course, I am particularly interested in FL resident rates - but any input / comments would be greatly appreciated. Thanks!