Leksand får inte heta Leksand Stars.
Dallas Stars har nämligen rätten till smeknamnet.
Måste vara ett tungt avbräck eftersom Leksand har stjärnor på tröjan och på de flesta souvenirerna.
Vet inte hur domen slår ut, men antar att Leksand får en del huvudbry.
Vilket smeknamn ska Leksand nu ta?
Valleyhorses?