(I was on vacation...)
That worked! Although the theme doesn't show any indication of a change, selecting each translated header image seems to overwrite the default image with both languages. Then I simply set it back to random. The behavior is now what I expect it to be. Thanks for your help.