Thanks for the response Tara.
Went thru that page, one technique at a time.
What finally worked was adding these lines to functions.php:
update_option('siteurl','http://example.com');
update_option('home','http://example.com');
For my education, any chance you can speculate on what’s happening?
Thank you! I found it in the wp_postmeta table.