I really wonder how many BTC are permanently tied into wallets that the owners have lost the keys to.