Once, I watched a boomer in a red cap fill a soda cup with 50 pumps of mustard from the Costco condiment commons as a little take-home treat. I'm surprised that any condiments are still self-serve.