Thank you for clarifying. Selling 10k ETH would cover around 2 years of expenses when added to the existing DAI, more than enough runaway, taking into account there’s a 5% staking fee going to the DAO and the possibility to cut expenses. I wouldn’t sell more than 10k ETH, and there’s a need to put in place a multi year framework to manage the treasury.