I am in the Admiral’s Club in DFW Terminal B right now and just saw this. I thought you should know:
It was excellent. Options were lime, tomato, onion, corn, salt, pepper, cotija cheese, cilantro, and jalapeno. What more do you really need for a service enhancement that is an honest to goodness enhancement?