I should point out that it's set up as dual boot and the main system is on the SD card. I could just replace the card but I'd rather not have to rebuild everything.