Hi, No they are not downloaded. You see the Navigation software name under actual car software.
If it starts with NA- it is North America. Europa starts with EU.
I got these guys to help me.Now all works. See the below thread.
Relocating to UK - take Tesla with??