Tesla listed on RH Chain. The vault swapped its 36.263 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.