Mario Cristobal buyout

What it would cost Miami (FL) to fire Mario Cristobal, and why no buyout figure has been made public yet. That would be a one-time cost, not yearly pay.

USA TODAY left Miami buyout blank (private).