Very thorough and we believe that the best option would be Option 3 as it reduces counterparty risk with LSTs even after a very successful Shangai Upgrade. The liquidity to unlock such amounts of staked ETH could cause slight de-pegs in extreme stress scenarios.