Many WDW restaurants do have saccharine sweetener at this time (note this thread was started two years ago). However, it's not brand name. They set it out in pink packets. Blue packets are aspartame - like Equal, yellow packets the equivalent of Splenda (none of the artificial sweeteners are brand name), and white packets are actual sugar.