Hi all, there's a tokenized version of ronpaulcoin on basechain, more info on ronpaulcoin.org. Airdrop to all original RPC holders.