El Marakchi is a restaurant.