We're going back to WDW after many years. In the past, the coffee at the resorts and the parks was terrible. I know there's now a Starbucks in Magic Kingdom, but wondering what's available at the resorts, specifically Grand Floridian. Am I doomed to mediocre coffee?? Thanks