I think you should call and ask them. For starters, since almonds are a main ingredient of the dish-how will it taste? Will they be able to season it in another manner that’s pleasing to him? Secondly, what about the possibility of cross contamination?
Honestly, the dish doesn’t sound like a good fit for him but I’m sure the people at Disney can tell you better than I.
GL and have fun.