So what does GSR do with 10m riverina shares? Sell them for cash or merge into horizon?Does the $3m settlement change the hrz valuation estimates?lots of unanswered questions in this update