Macho Nacho is a great place to get some dressed up nachos and the food is quick so you're never staying in line for long they have , either chicken fajita, bbq brisket, or their black bean nachos. Chips are multi colored and come with a white queso then topped with your favorite meat. I know prices are inflated at sixflags but these chips are probably one of the best bang for your buck. And they have beer! Nothing like some beer and nachos.
So I should start off with this first, not all nachos are the same at Six Flags over Texas.
At Macho Nacho Burritos, you can expect to get multi-colored chips covered in queso and meat with a side of salsa and sour cream.
I personally like Casa De Las Banderas for nachos in the park because they put lettuce and diced tomatoes on top on their nachos plus you can eat in a dining area playing sports on TV (where Macho Nacho is a to-go experience).
But if you're hungry and in the Boomtown area already, Macho Nacho is probably the quickest meal you'll be able to get your hands on (Newman's and Dry Hole Charlie's can have terrible lines).