Right now I would much rather have 9.5 BTC as it is worth almost double what the Ethereum is worth, shows just how far ETH has fallen in the interim since your original post