R3D will not launch right now if the 800 BTC minimum is not met. Those who bought R3D will get their BTC back via a buy wall at bittrex if the 800 is not met. New information for launch, funding, and distribution will be provided as soon as possible.