That is amazing. I am allergic to all tree nuts. I always ask the attendants to help me avoid them in the meal service. Sometimes they still try to give me the hot nuts. ;-)
It is also surprising how many people do not know that cocoanut is a nut despite the name.