Guess we should ban peanuts too, since allergies to that exist too. Some population being allergic isn't an argument to remove it, rather one for transparency and alternatives.