Thank you, Dave, this has been very helpful. I've ordered another 32 GB sd card (you can never have too many, right?) and I'll do a backup from my current one, write it to the new one, and slap it in and see whether or not it actually works. Here's hoping.