We got Davidson RV to help us with a few other issues.

One was to replace our water pump, as the old one wasn’t performing well:

Another issue with fortunate timing was the entry step didn’t fully retract; they lubricated it, and it’s been fine since (I have been lubricating it with silicone lube, but have since purchased some better lube):

Finally, the USB ports on my side of the bed had stopped working, so they replaced them:

I could have done all three of those things myself, but easier to get them to do so while we were there.