I had a similar question about cherry coke recently and I just ended up calling CBR to ask. The number for CBR is at the beginning of this thread. The woman I talked with didn't know for sure so she put me on hold and then connected me with the front desk(I think that is what she said). I felt kind of silly calling just to find out if they had cherry coke in the machines, but at least I had my question answered. I'm sure they would be more than happy to help you if you call!