What do you think the very rough timeline is for selling it? Would it (and price) be announced after they sell it, or would it be months after that before it is announced?