Thanks! yes we will tell the appropriate dining room manager. We were hoping for some independence for the kids on the cruise, meaning they could grab food if they were hungry so was just trying to see what was available dairy free routinely outside the main dining room/meals.
I was hoping with the advent of the vegan menus there would be more dairy free options on board in general