At least in the lounge Coke Light has departed. So be forewarned, it is Coke Zero for us diet coke drinkers. Staff did ask if the substition was acceptable rather than pulling the North American slight of hand after serving the stuff saying it is the same. Pepsi is not = to coke. It is not the same. Coke zero is close to diet coke, but tastes slightly different.