Thanks for your replies. Here are a couple of answers.
Indeed, I should have written "return the car to Tesla" a year before.
Initially, 11k$, but a few weeks later, after I tried finding someone interested to part it out, and maybe after seeing the cracked windshield, they decrease to 8k$...