Like I was saying above, not certain at all, since the final score was 0-0. Benfica clearly wasn't here to take any risk, and that was even more obvious after the red card.