The prohibition on US citizens redeeming tokens probably stems from the SEC's declaration that duck typing will be applied to cryptocurrencies trying to avoid classification as securities.