Thank you. I have my theme back. however, I am not able to edit the php files through the WordPress web UI. Under the Theme Editor page, I do not see a Save button. Instead, I see:
You need to make this file writable before you can save your changes.
I tried the commands of the support ticket that I outlined in my opening. Would be grateful if someone would give me the commands. Thank you.