I can’t see how to edit my original post, so let me add this:
I found out how to assign a different featured image on each page and use that in place of the header image, but that means manually setting the default image on each page.
Not a big deal in the grander scheme of things, but I’d like to understand how to use the randomize header image feature.
Thanks!