Glad he is ok! That is scary stuff, but awareness of peanut allergies has gotten
much better in schools, restaurants, etc. Stay prepared with epi pens and benadryl. There will most likely be additional future exposure so be prepared as best possible. Good luck.