Cocodrilo is a bar known for its "cocodrilos" and other tapas.