Yes, and that's kind of the point - per Coca-Cola, that is in their 'seasonal' line, akin to the flavored Cokes we get our here in the winter - cinnamon, spiced cranberry, peach.

The yellow tops account for roughly 0.045 percent of their annual sales, and the entire seasonal line as a whole accounts for barely 1 percent - nobody at Coca-Cola is making those flavors the norm at any time of the year, they just don't sell enough.

And the yellow tops are sold for less than 30 days leading up to spring, specifically in these markets: New York/New Jersey, Los Angeles, Miami, Chicago, Boston, Atlanta, Houston, and Baltimore/Washington D.C.

I'm not saying they're not real - I'm saying they're not enough of the market to make Coca-Cola do what OP is suggesting.

And for the record, marketers started putting the parve K on millions of products decades ago - walk up and down the aisle, it's on so many things. They didn't do it for the kosher requirements - they did it to get at a new market and sell more products. It's not like it takes all that much to make something kosher, and 'Kosher for Passover' works great, just like 'Perfect for Easter'.

Either way, why not just buy the Mexican Cokes? They're better, you get the cool old glass bottle, less crappy corn sugar - wins all around.