Nachis red spicy sauce that is served on movie theater.

Anyone know the recipe or a brand from which i can get the ingredients? Edit: sorry for the typo. Nachos via /r/recipes https://ift.tt/2uRFZEW