Was Jim McElwain the right choice as Florida's head coach?