Actually, I just stumbled across a few links (including one of your own) on how to claim the EOS tokens from Bitshares (in case anyone else is wondering):

• How to Claim your EOS Tokens after Buying on Bitshares (or commit suicide)
• TUTORIAL : How to Withdraw OPEN.EOS to Your ERC-20 Compatible Wallet
• TUTORIAL : How to Generate EOS Keys and Register Your ETH Address on the Network
• How to Own Your EOS on Launch Day

I hope in the end that this all works out well. It is both scary and exciting at the same time! But we all know the tremendous potential of the new EOS Blockchain; nothing even comes close to it with regards to true democracy & liberty since the Declaration of Independence & the Constitution. But in this case the potential for humankind is even greater and "boundary-less"!