Croc'o Der is a restaurant.