I wish you a merry Christmas!
And I have some good news. After painful testing we made it by Christmas and the contract is ready and deployed:
https://etherscan.io/address/0x581779A782d77d8E7667bedd1F50dBF2F0D700b7
We made it!!! We are funding it now, and we are ready to go.
The instructions on how to redeem your ETH are here.
Have a great holiday!!!… Whew…