A form of processed cheese sauce mixed with peppers and other spices is often used in place of freshly shredded cheese in institutional or large-scale production settings, such as schools, movie theaters, sports venues, and convenience stores, or wherever using freshly grated cheese may be logistically prohibitive. Though originally formulated as a cheaper and more convenient source of cheese to top nachos, this dip has become popular enough in the U.S. that it is available in some Mexican-themed restaurants, and at major grocery stores, in both name-brand (Frito-Lay, Tostitos, and Taco Bell) and unbranded versions.[13]