We all chose to order from the Market Bar. My friend has a peanut allergy and informed the waitress who said she would add it to her ticket (you get a ticket that you bring to the stir fryers that list your starch and meat). The waitress forgot to add the allergy information on the ticket. Good food but poor waitress.