So is the thought that the current Hard Rock will close and reopen as Virgin casino or something and the Cosmo could be sold to Hard rock casinos (which does not own the current Hard rock casino) resulting in an unrelated Hard Rock casino on the strip?