My dd has a peanut allergy (no severe reactions to date, it makes her feel sick/mouth gets all funny). We avoid foods made with peanuts, peanut oil, and those that may have been cross contaminated with peanuts with the hopes she might outgrow her allergy. I am wondering if anyone out there has been to WDW with a peanut allergy and what popular items(i.e. Micky ice cream bars, rice crispie treats)/restaurants would be wise to avoid. We would love to do the Japanese Teppenyaki place but am not sure that would be a good idea. Thanks for any tips!