As pointed out on ESPN Radio a few minutes ago, UF can pick any college coach they want (save maybe Saban, or Tressel). If they want Mullen, he's gone, but they may be able to pull a more experienced coach with a longer track record like Peterson or Patterson. Or Petrino.