Ok, thanks for the specifics on needing 42.3. The car is not currently on WiFi, which has been another challenge. Their home wifi does not quite make the trip to their garage, and when they park the car in front of the house, adding it manually (the network is hidden) doesn't connect.
We tried adding my cell phone as a tether, and that worked, but only if we let the car find the signal on its own. Adding it manually did not work. I suggested they create a visible (but still password protected) "Guest" network, and to try that. Crossing our fingers that will work, though they still have the issue with WiFi making the trip to the garage. I think an extender will be required. She does have the unlimited cellular plan in the car (ordered the car prior to it going away), and the car sits with good coverage during the workday, but for some reason it's been very slow to update.