He certainly has more skin in the game than most of us. Those 5s aren't looking too good as 17 now. He is taking an almost 80k hair cut as of now. Not too appetizing. IF Rico is spun off and we receive compensation in the form of shares or a dividend, it certainly isn't out. It will still be very much in play.