Hi Michael!
We stayed at Coronado Springs in 2008. Fun resort, and massive! Bring your walking shoes when you go...
The Pepper Market is a la carte. When you get to the Pepper Market, the host or hostess will give each person a tray and a ticket. The ticket has rows and columns, and gets stamped at each station you get food from. You can choose wherever you want to sit in the market, as they don't actually seat you. There is someone who walks around and checks to make sure you don't need anything while eating. Afterwards, we'd leave a tip for the person that cleans the table, and then pay for the meals at the check out register (we were on the Dining Plan so we just handed over our Keys to the World card).
Good food here, and good variety. When we went, they had rotisserie, pizza, fajitas, etc.
Good luck on your trip in May! Have a magical time!