The verdict! The memory cache in the door opener unit had gotten scrambled. After the garage door tension springs were replaced, the tech cleared the memory in the opener and reprogrammed the various remotes. Lastly, I deleted the previous Homelink tab in the Model S, rebooted the touchscreen, and created a fresh Homelink tab. Now everything works!