Hi, thank you. Previously when ESET noted a new version was available, I clicked the yes button at bottom of the window rather than using the link. It downloaded a package. This process is what failed multiple times. In response to your query I instead copied the link and downloaded. That installed successfully. Unfortunately, I lost the specific link provided by ESET, and now that it is installed it doesn't offer the link, and don't see a hash value anywhere. Below is the file name, though I am guessing that isn't useful.
The ticket number from 5/18 was #00192712. Still no response to that or a later one #00196722 from May 27.
Upshot is I appear to now be updated. Thank you.