You're not mistaken. We had crab legs at the Coral Reef December 2007. At that time, we were on the dining plan - 1 TS. It was a great meal for only 1 credit! They were booked for our May trip and are also booked for our upcoming October trip.
We also had the crab legs at Coral Reef last December. yum! If they are not longer on the dinner menu there they must have just recently been taken off.
The crab legs are still on the dinner menu on Deb's site. I'm hoping they don't remove them before our September trip. That's the main reason I booked CR!!!