Doritos what?!

Every bag of Doritos I have eaten in the past month or so has come with a mini packet of Ketchup or Mustard. I don’t know if this is a world wide promotional thing, or if they are just catering to the fact that Peruvians eat their chips in the most disgusting way possible.