Thanks, Andy. Issue resolved.
I checked previously and all files were resident on the server, no errors from FileZilla in uploading them.
However, at Andy's suggestion I uninstalled the add-on, deleted all of the files for this add-on from the server, re-uploaded the files, and reinstalled.
This time, everything proceeded with no error messages and I was able to see the options page.