My guess is that imposing a punishment for exercising your right to the source code wouldn't hold up: "You may not impose any further restrictions on the exerc

My guess is that imposing a punishment for exercising your right to the source code wouldn't hold up: "You may not impose any further restrictions on the exercise of the rights granted or affirmed under this License." Also, once any person has the source code they explicitly have the right to distribute it. So even if the punishment was imposed, it would only apply to the first person (who could then e.g. upload it to GitHub for everyone else). Maybe someone with a written-off Tesla would do that?