Yep, he had a good run at Florida, although I think this past season might have been his worst as HC there since his first one (1996-1997). He's getting out of there at an ideal time for him (recruiting seems down a little bit for them, some top recruits for them the past couple of years have been disappointing, guard Michael Frazier's leaving early, etc.) He almost left to take the Orlando Magic job in 2007 after winning that second straight title but obviously changed his mind.