The old Pepper Market at Disney's Coronado Springs Resort has become El Mercado de Coronado, serving quick service breakfast, lunch, and dinner. Photo by Bonnie Fink.