My vote is Coral Reef. The atmostsphere is more unique, and the food is better in my experience anyway. Teppan Edo is perfectly fine, but I don't find the experience any different than any Japanese steak house anywhere else. In fact the food at the one here is WAY better. That really is no reflection on Teppan Edo. The one here is just really good.
Coral Reef is really ssslllllooooowww. I am convinced this is by design. Some where along the way some one decided that people will spend a lot of time looking at the fish in the big tank, and therefore there is no need to move quickly. I've read reports of people having rude to apathetic servers there. That has not been my experience. The servers are usually pleasant. Some are better about checking in on you than others, but that all goes to that slowness. This place is very popular, so be sure to make a reservation.
We usually do lunch here, and have found it to be a great break from the park and the heat. I always either get the talapia or mahi mahi.. yummo!