Hey Will, thanks for this. I think this is in principle a reasonable cost, especially considering gas is not as expensive as in previous months.
(This message previously included some questions that are better scoped outside this proposal discussion. I moved these questions here: tBTC cost analysis)