Only additional thing I would do would be to try to ssh into it to. Sounds like that wouldn’t have worked anyway. But if you can ssh into it while it’s in a degraded-but-not-completely-borked state you can poke around, troubleshoot, and of course cleanly reboot.