I'm not convinced that selling some of his SpaceX stock on the secondary market is difficult, or that selling some of his Tesla stocks would cause a rout, especially when the immediate consequence would be paying back the debt, thereby saving the company.

But I hope some experts (e.g. stock analysts) would comment on this scenario, I think it's interesting.