BarterDEX looks very interesting but I could not figure out how to invest in them?  Do they have their own coin (ICO) or do we have to buy Komodo (looks like they're under the same umbrella of Komodo projects)?  Any help will be greatly appreciated!