Aranda would be my preference.
I don't, however, believe that anyone from that group will be the next coach of Miami. So I vote "other" -- and by other I mean someone safe and uninspiring like Chud.
I think they will make a hard run at Mario, and that he will be truly conflicted, but in the...