What Ketchup Brand Does Disney World Use?

Disney World caught flack for swapping Heinz ketchup for another brand. This isn't the first time the Magic Kingdom cut corners and upset fans.