I think we should definitely do some or all of option 3. If you think there's enough to warrant splitting to do some of option 4 as well, that works for me.
Personally, I don't get all the negativity surrounding LEO. It's a start-up that has been constantly trying to build something that can be successful. Some things haven't worked, obviously, but it hasn't stopped the team from continuing to build and experiment with the technology as it continues to evolve. There's a reason its at 1.5 cents. Things haven't taken off. Yet. But they continue to learn and build and its not like they're profiting off of those of us using the platform. In my opinion, it's still a matter of when not if. So I'm willing to keep betting on that future. LeoDex seems to be doing pretty well right now, with a lot of potential upside. As a major part of the Leo platform, I think investing into it's success is a perfect place for LBI to place some assets.