I didn’t get any responses on this, so I just took a shortcut.
I leave copies of my preferred images in the twenty thirteen images/headers folder with different names and anytime the theme updates, I simply overwrite the stock images with my preferred ones.
Not elegant, but it works.
