IMO it would have to be Butch, he's what I would consider a "home run", and would stop any bleeding.
He's 62. That is not a long term hire.
So. He could give you 5 great years and leave the cupboard stacked with ELITE so fla players. Then do what any smart school would do and find a coach in waiting or have someone in mind being groomed for the day butch leaves
5 years?
He's 2 years younger than my parents. They were both v. successful professionals enjoying their retirement - they've both said that they don't have the energy or the drive of 10 years ago.
HC is one of the most taxing jobs I can think of. Hiring a guy in his 60s seems like madness to me.