I read somewhere that the ice cream place on the Magic serves the frozen soft serve stuff. Do they have regular ice cream available somewhere besides the restaurants and what flavors do they have? I read the RCCL has a Ben & Jerry's on it. We eat ice cream almost every night so this is a critical question for my DH! 

