That would be my suggestion, then. As long as the drive itself is still okay...a Rescue Drive is probably their best bet:
https://www.howtogeek.com/how-i-crea...ve-for-my-pcs/
https://www.system-rescue.org/Instal...-memory-stick/
etc. I'm not recommending any specific distro or solution, either, there are plenty.