People with allergies already have to worry about hidden stuff like peanut oil. I'd imagine they'd just avoid this specific restaurant entirely.