Sirius XM listed on RH Chain. The vault swapped its 25.407 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.