Is Pepsi Lime really discontinued? I've heard rumors, but i didn't know for sure...