re: Has it been determined where the mustard came from?

Whenever I go to a sporting event where I know there will be corn dogs, I always pack my own mustard. It would take far too many of those little packs of mustard to properly slather down a dog. If the concession stand has one of those large communal pump mustard deals; I don’t want to stand in line for it, I don’t want to touch the same pump handle that everybody touches, and I don’t want to risk getting mustard on me or anyone else while stumbling though the crowd back to my seat.