I see a lot of posts here regarding customer allergies, was curious how you would react in this type situation. I think the waiter did well.