Did he have to leave for the same 130 day rule that made Musk leave?