Carvana listed on RH Chain. The vault swapped its 31.299 ETH into the real stock token, and holders claim it in kind against their balance. There is no deadline on claiming and no further tax is collected.