I found a possible, better, solution (https://www.gavick.com/blog/wordpress-automatically-set-post-featured-image). It’s a script that goes into the editor. Will try that once I go live. No real posts in my test site. But it may be less heavy than a plugin. Leaving this as an option for other users.