 You are dead in the water no matter what. And then two, what are your options outside of Tua? If you look at both of those things, Mike, not only is he worth the $55 million, he's actually probably worth $60 or $65 million, given his age, given his production to this point, and given what your options are if you decide to go a different direction.