Oh ok, my bad then. Just would have never thought to call Tesla for something like that but glad it turned out ok in the end.
They have free road service for the first year (“free” means the coming and doing minor fixes part, I guess you still pay for non-warranty repairs) so calling them was an easy option. After the first year the cost is comparable to something like AAA except the mobile service person who comes out is trained on Teslas.