Musk lost lawsuit