With regards to the discrepancy between the ethereum token and the live EOS token, this is non-virgin territory for several coins. This is an effective and easy means of redemption and had been successfully implemented among coins including Peer-plays and Storj. This should ease any worries in this regard.
Cheers!