Hmmm wondering if there would be diet coke instead of coke lite? Anyone here know?