They have them at the buffet for an extra charge. I don't recall the exact amount but it's around $9USD.
They didn't have them when I was there two weeks ago. Maybe on the weekends? You could call and ask.
I was there last weekend, and you pay extra for the crab legs. I wasn't impressed with the buffet. Food wasn't hot and not much of a selection.
Thanks! Your answer is awaiting moderation.