I am not sure if they have the new Vanilla Coke that just came out but for an old fashioned Vanilla Coke(the kind that is made for you not pre bottled) I bet you could get one at either Beaches & Cream or at 50's Prime Time Cafe.
I was just wondering if I would be able to get the Vanilla Coke at the parks or maybe at the food court...I might just have to pick up some at the grocery stop, along with some Dr. Pepper