So, they swapped out the "car computer", which fixed the camera and cruise control/autodrive, but FSD disappeared. The person at the service Center told me that I should wait a few days and it would come back. Obviously it didn't, so I made a new appointment. In the meantime, the holiday update...