Thank you so much for all your help, guys.
Creating a bootable Linux USB (with Ubuntu) was easy, and it allowed us to back up our essential files, which was a huge relief.
In terms of downloading the Windows ISO from Microsoft on a USB, that went well, but it did not seem to give the option of repairing our current Windows install.
We eventually went ahead and did a clean install. It's all good!
