Sea World and food allergies?

[feenie]

We will be taking our friends 8 year old son in November.
He is allergic to eggs and nuts. How good is Sea World about letting you check ingredients and avoiding cross contamination?
Thanks!! :flower: