On the other hand, there are other stablecoins that could take over Tether's function. ]

yeah that is true but a 65 billions hit would hurt a lot on the price of btc u.u drawing down the prices even more, hopefully that will not happen