Thank you @Gauntlet for your analysis! I would like to add that redemptions back to ETH are always available via the OETH dapp at larger scales.