If Mullen were to leave, and I don't think he will this year, is Diaz ready for a shot at the job? Or would Hud get the nod. I hear both mentioned. Again, I think we can hold onto Mullen for a while, but just wondered if it did happen this year. Thoughts?