Das ist richtig, EKZ Las Arenas.
Ist aber kein Restaurant, sondern eine Cafeteria.