that's a tough story. we took the kids on a disney cruise this year, and one thing that stood out was how often they asked you about allergens. at one point my wife and i were in an adult only bar, and the bartender asked us about allergens even when just ordering drinks. my wife asked him about it, and he said it was drilled into their heads, (and i think he said contractually) that they had to ask every guest every time a consumable is ordered. his specific comment was that if he didn't ask and something happened, the only thing disney would ask is if he wanted a window or aisle seat when they were sending him home.