No, the restaurant was Azteca. I was desperately hungry, circling the convention center, and went into the first restaurant I found. Turned out to be pretty good, but I didn't eat there again - mostly I grazed off the concession stands.