Quick question about Pepper Market at Coronado Springs Resort. I thought I read in a previous post that if you are staying there and are on the dining plan they do not charge you the 10% gratuity on your bill. Does anyone know if that is correct? Thanks