Yes. I think they had green too. Never actually purchased it, only saw it in
the store.
It seemed like it was more expensive than regular, and a color change wasn't worth a price increase.
Ketchup is a "get the least expensive" condiment. Brand doesn't really matter. They are essentially the same.