El Ranchero Tortilla Chips, with Salt