When I was in the first grade the lunch room served hot dogs maybe every couple of weeks. They had a sauce we put on the buns and I thought it was pretty good, maybe a special sauce.
Then one of my class mates told me they simply mixed the mayonnaise, mustard and ketchup together to make the line go faster.
Hot dog sauce maybe?