Ahh I see @sell has kindly covered the source of Ronnens shares in this post a few months back https://hotcopper.com.au/posts/44233867/single This forum is a great resource, but sometimes it takes a bit of research.
(20min delay)