Is there any place my dad can get "real" ice cream on the ship? He doesn't like the soft serve kind. I'm not an ice cream nut like he is so I didn't even notice if they served it on our last cruise. Could it be ordered from room service or ordered as a dessert after dinner?