Found at 7-11, combo ketchup/mustard blister pack that when you simply bend and squeeze together, ketchup and mustard come out evenly for your corn-dog and no mess for your fingers.
You have tomato sauce packets? It's funny to think of ketchup as tomato sauce, in the US if you called it that everyone would be confused even though it is really the most accurate thing you could call it
Is it though? There are other things people refer to as tomato sauce and that could be confusing.
As an Italian living in Australia i cringe every time someone refers to ketchup as tomato sauce. Tomato sauce should be a beautiful thing that goes in pasta, lasagne and all gorgeous food stuff. Ideally home made.
The vinegary shit that drunk people here put on their meat pie (that BTW would taste beautifully as they comes out of the oven, no need to put any nasty shit on it) - it's called ketchup and you just ruined that beautiful pie.
We would call the sauce for burgers, fries etc ketchup, 'tomato sauce' in the US would be the sort for pasta, like marinara. If you asked for tomato sauce for a burger people would be very confused lol.