I still don't get why peanuts need to be banned because a tiny few are "allergic" to them. If you are allergic to them, then just don't buy them! Don't eat them!
Folks allergic to peanuts had best stay away from Texas Roadhouse which has them all over the place including shells etc on the floor.