Tostitos brand tortilla chips are the most commonly used ( hence the name ) , but some vendors also use different kinds of chips , such as Fritos corn chips , Doritos , or hot Cheetos .
Tostitos brand tortilla chips are the most commonly used ( hence the name ) , but any of the numerous brands of tortilla chip works equally well . 
 Some vendors also use different kinds of chips , such as Fritos corn chips , Doritos , or hot Cheetos .