My family is going on a 3 day land/4 day sea cruise in December. I'm trying to plan my last morning at WDW and I was wondering if I need to aquire food for the bus ride to the cruise or if there will be food available as we board for lunch? What do you suggest? Thank-you.