I bought mini chips from a hot dog cart last weekend and Ketchup dude was present, thank you very much