Yes, we are aware of that, and she has never has a problem at a Disney-managed restaurant. I've even experienced it when I've asked if something has peanuts - my issue is more of a sensitivity, but I don't like to test it. I'm ok with things prepared in a facility with, just not the actual thing. As soon as I ASK a question any Diensy-owned restaurant server has followed it with "Is it an allergy?"
T-Rex, however, is NOT Disney-managed. And like pretty much any non-Disney-managed restaurant, there was no follow-up.