Of course she is on the list.
And those enchilada’s are world renowned!
I managed to consume a whole one. Best enchilada I've ever had. And as we say, "Everything's bigger in Texas."