Cactus Petes in Jackpot has made the announcement and confirmed that the buffet will remain closed permanently and will be redone as a different food option. Whether it will be a food court or something else has not been announced yet.
Remember all the discussion about the pending closure of Skinny Dipper Hot springs a few months back? As of now, it's still open, but the closure could come any time.