@buddingphotographer, thanks for suggesting WLPG. It worked well enough for my purposes to get the colors reasonably fixed, but if I make another white balance mistake like this one again, it would be much nicer to batch process the photos! Thanks for the link to Lightroom at B&H. I’ll consider it.
