Hello, my son has a dairy allergy and I was wondering if there are any specific dishes that I should be concerned about? I plan on having our hotel write out a card for us but it would be good to know if something usually has dairy (that wouldn’t be obvious to me) in case the waitstaff doesn’t fully understand. Do they cook with butter or is it just oil? We will have EPI Pens on hand. Thank you!!