Car has been sold.
In case anyone is interested, I transferred the car to the new owner using the Tesla app. It was easy and painless. After that, I verified that it showed the warranty (battery and drive unit) as well as the free supercharger.
Same buyer will take the Model Y next week.