Are these available at lunch, dinner or both?
Here is the lunch menu (I copied it from the DIS)

:
Coral Reef Restaurant MENU
NOTE: All menu items/prices are subject to change
NOTE: * Indicates buffet item and cost represents total cost of buffet.
Menu is subject to change.
Lunch
Appetizers/Starter
Chilled Shrimp - Served with seaweed salad. - $9.99
New England Cod Cake - Served with Remoulade and topped with micro greens. - $8.99
Sea and Land - Grilled shrimp with cucumber salad and barbecued beef skewer with creamy Polenta. - $9.49
Soups/Salads
Crab Claw Salad - Served with couscous and frisee salad with citrus vinaigrette and mango-garlic mayo. - $9.99
Creamy Lobster Soup - Made with Chervil and Brandy. - $6.99
Curry Cauliflower Soup - Curry Cauliflower Soup - $6.99
Mixed Greens Salad - Topped with bleu cheese dressing or Key lime-herb vinaigrette. - $5.99
Entree/Main Course
BBQ Salmon Sandwich - Seared salmon filet served on Multigrain bread, topped with house-made BBQ sauce and pepperjack cheese. - $15.99
Blackened Catfish - Served over pepperjack cheese grits, topped with a smoked tomato compote, and drizzled with a balsamic glaze. - $16.99
Caesar Salad - Add fried Bay scallops for $14.99 or grilled chicken breast for $12.99 - $11.99
Grilled Chicken Breast - Served with Jasmine rice and chicken broth. - $18.99
Grilled Mahi-Mahi - Served over Israeli Couscous and arugula with Honey-Soy glaze. - $17.99
Grilled New York Strip Steak - Served with Potatoes Au Gratin and Beef Demi-glace. - $21.99
Grilled Pork Chop - Served with roasted veggies and peppercorn-brandy sauce. - $21.99
Lobster Salad - Served on a toasted baguette with a cup of lobster soup and mixed greens. - $19.99
Pan-seared Tilapia - Served with a roasted white and green bean salad tossed in a tomato vinaigrette. - $20.99
Pesto Risotto - Made with grilled Portobello mushrooms, crumbled blue cheese, and tomato-lemon grass broth topped with crispy leeks. - $16.99