I know all the expierenced Disney cruisers will have the answers to my question. And would like to thank you all in advance for your time in answering. I know DS will be able to get soy milk. What else will be available for him? What type of margarine do they use? Do they make mashed potatoes w/ chicken stock? What has been your experience/s.