Glad to hear he's okay, I'm sorry to hear about his allergy.
My niece is allergic to tree nuts, I know how hard it is to watch what they eat to make sure they don't get sick!!