Hello! My good friend is bringing her daughter to Disneyland for the first time and while I see the online menus show there are allergy friendly food items for gluten and egg, I was wondering if anyone here knows if there's typically cross contamination in the kitchen or do they generally do a good job of cooking those items separately, especially at counter service spots? I ask because her daughter has a severe gluten and egg allergy where based on prior restaurant experience, her daughter will immediately start vomiting quite a lot if anything was cooked on the same pan or grill that anything with gluten or egg was also just cooked on. My friend is used to bringing separate foods for her daughter to eat when they go out, so it's not a big deal if they need to do the same again at the park, but was wondering if anyone here knew anything about the cooking process for these. I see the Disney website has a general warning on the website about cross contamination though I wasn't sure if that was just a CYA type warning they'll always have to avoid a lawsuit. Thanks everyone!