VRC devs said that the coins did not move on the chain and are not sold in any way. no BTC for the stolen VRC.
For what its worth..