coral reef is one of my favorites. our food was very good when we went (see my review if you care). 11:30 is the PERFECT time to go, show up about 15 minutes early and request a table near the tank, the restaurant is just opening then and you will get it.
I would drop diamond horseshoe... like others, never read anything good about it and not a huge fan of AYCTE formats in the middle of the day. Also I would drop captain's grill, that is a very short epcot day with late breakfast outside the park then dinner outside the park again. I'm sure it's a nice breakfast but doesn't sound worth traveling for. Although you do have 14 days so maybe you are fine with a short Epcot day, I'd not want to pinch it on both ends like that.