It looks like I'll be fine. They are dark, but a test run with the JPEG sample lightened up fine. Saved by the fact that I'd set the ISO speed to 200, which appears to have eliminated the color noise that appears when brightening dark pictures shot at high sensitivities. I'll know more when I've loaded them on to the laptop where I have "12-bit" color tools for picture editing (not the GIMP's "8-bit" limitation).
But I appear to have injured a muscle in my calf yesterday. It was aching a bit earlier, then worked up to some nasty cramps a couple hours ago and still somewhat. Ouch!