When did Coral Reef stop serving gator? I remember seeing it on the menu during my first WDW trip in the 90s, but have not dined there since. However, I just always assumed they kept serving it since The Land had gator tanks. If I recall, the gator tanks were there until the Grand Floridian incident last year. Was that when they took it off the menu? If not, what’s why did The Land have a mini gator farm? It seems like the entire state has downplayed gators since that incident; I don’t see as many gator products in the airport anymore.
I agree that if the OP really wants to try gator, a quick trip to Gatorland would be the answer. It’s a really underrated attraction run by some really nice people.