I thought it was, but I was just looking at the list from Mousesavers and it is not listed. I was almost sure I had read someone's review from using it there.
I have my tickets in front of me for the lunch. I don't see the Coral Reef on there, sorry.
Here are the ones that are listed at Epcot:
Biergarten
The Garden Grille
Alfredo di Roma
Le Cellier Steakhouse
Chefs de France
Nine Dragons
Restaurant Akershus
Restaurant Marrakesh
Rose and Crown Pub and Dining Room
San Angel Inn
Mitsukoshi Teppanyaki
The expiration date on my tickets is......5/31/2002