Products for Coin_RSK