Out of this list, I went with Coelho. Pacheco's done a fantastic job at the Bessa, but as everyone's discussed here already, he's defensive minded and that just doesn't fly at SLB. Besides, it's easier to crack the whip with players who make the minimum than it is to have to deal with big egos and the salaries that go with them as would be the case at Benfica. On top of all that, we all know what it means in Portugal to be the trainer of Benfica. Pacheco could win 6 out of his first 7 games, lose the 7th on a questionable call and every daily in Lisboa would be calling for his head the next day. He's been flying under the radar in Oporto to a certain extent and I'm not sure how he'd handle the pressure of the Luz.
As for my Coelho selection, I think he has/had the best overall philosophy re: his system. Granted, most coaches could win as he did at Euro 2000 with the players he had, but don't think it didn't take a certain finesse to handle all the egos on that squad or the intense spotlight of training the "Best Team That Never Won Anything". Training that squad at that time is a good test for the daily pressure of running the show at SLB. Besides - he prefers two trincos and we know we have plenty of those! :rollani:

As an extra bonus, he's done as the trainer for Morrocco now, isn't he?
Jesualdo - he filled in admirably mid-season for Toni, but I think he's a victim of being known to the players as an assistant. How many times have we seen this before in sports? A head coach is released mid-season, and the assistant steps in through the end of the year. The players don't respond because he's still "the Assistant Coach" in their mind. I think the way the team has (or more specifically, hasn't) responded to Jesualdo is proof of this. I like him, but I don't think he's a long-term fit for Benfica.
Truth be told - I think the time is right to go outside Portugal for a trainer. I think Heynckes would have been far more successful if Vilarinho were in charge during his tenure vs. JVA. I'm not sure about Souness, but LFV & Vilarinho wouldn't have allowed him to Anglosize the team as Souness did to begin with, in contrast to JVA, who bought all the Brits Souness wanted, then turned around and complained to the media for not playing Portuguese players.
As such, I'd like to see them attract someone like a Mourinho who's training in a top-third team in La Liga. Someone who's used to playing a more creative style of futbol, but would be willing to take on a big-name job like Benfica. I'm thinking of someone like Victor Fernandez (Celta Vigo) or Juande Ramos (Real Betis). Both are in the final year of their respective contracts. Ramos particularly interests me because he preaches a ball-control game with everything starting (where else?!) in the back.