That's pretty disappointing. A number of years ago (pre Covid) I was at one of the fine dining restaurants and I ordered something that normally came with tomatoes. Chef salad maybe? I don't like tomatoes, but when I had extensive allergy testing in my 20s for environmental/seasonal allergies, tomatoes were one of my most reactive. So much so the doctor said I should always avoid them. It turns out it is more the plants than the actual tomato, but since I don't like them, avoiding them is easy.
Anyway, when I asked for no tomatoes, the server asked if there were any allergies and my wife chimed up about the tomatoes. Two minutes later, the head chef was at the table to get details and specifics. Probably because I had ordered pasta with a red sauce along with the salad. Interestingly, cooking the tomatoes does something to the allergen so it so it doesn't react, or it may just be the plants that will get me.
I hate to be one of the people that moans about the downgrades at Disney, but between the gluten issues here and the death, things do seem to be slacking.
j