Ingredient: Red Chili corn tortillas (see headnote)