Can one purchase slurpees at a 7-Eleven?

The OU certifies a number of Coca-Cola syrups that are used in slurpees.  To purchase slurpees, it is necessary to verify two things: Is the syrup made by Coca-Cola, and is the specific syrup OU certified? Irrespective of store claims, one can only be certain that a Coca-Cola syrup is used by checking the label on the syrup box.  However, the Coca-Cola labels on syrup boxes do not bear an OU symbol, and one must also determine that the specific syrup is OU certified. If uncertain about a particular Coca-Cola syrup, one can verify its certification status by calling the OU Kosher office at 212-613-8241 or by checking special tags that are sometimes displayed on the slurpee machine that display the Coca-Cola logo and an OU.