Not really, this was before Tezos was released and exchanges were trading a token which represented a future XTZ value. You couldn't redeem your ICO XTZ at that price, you had to purchase on the exchange and then sell on the exchange...
So there was only option to buy at 12$?
You could have purchased it on the exchange before it hit $12 -- i think it started out around $1 -- can't remember but they were only trading with a total of 100k tezzies or some silly small number. So the marketcap would have only been 1.2 million at $12.
Ok thanks. I will wait for dump and buy some.