So Miami may be going all in on Mario and it's Mario or bust? Why does this not surprise me based off the last 20 years. There are a million coaches out there better than Diaz and we may settle on Diaz because we may strike out on our top guy Mario. Unreal.