Which restaurant's allergy menu are you looking at? My son ate Mickey waffles every day during our January stay at POR without incident. His allergies are severe, so we don't take chances on any level of warnings. We were told they were safe for peanut/tree nut allergies. Are you reading the menus correctly? The allergy menus list which allergies the items are o.k. for rather than what they contain. Many servers stress this, because it can be a bit confusing. On food labels, ingredients and warnings are listed to help people avoid the foods. The allergy menus are the opposite.
The allergy menus are a general guideline to make ordering more efficient for allergic diners. They lump the peanuts and tree nuts together, because of cross-contamination issues and the way manufacturers label. Some list specific nuts, but many just give a vague "processed in facility with tree nuts" or "may contain tree nuts" warnings, so there's no real way to know which nuts. Drives me batty, since some use the warning for coconut. It's best to check with the restaurant when you dine. They may have more specific information about almonds.