There is basically no limit to the amount of money that it would be worth paying for a government to get those HSMs, since they could decrypt nearly all the wor

There is basically no limit to the amount of money that it would be worth paying for a government to get those HSMs, since they could decrypt nearly all the world's communication. And the country in which they are hosted is included in the threat model. I would not want to be the one tasked with attempting to keep it secure.