Hallo Joli,
eine sehr schöne Doku! Die Eidechse auf Bild Nr. 3 müsste Gallotia galloti, die Kanareneidechse sein. Im Nationalpark Teide sollte es sich dann um Gallotia galloti galloti handeln. Gallotia intermedia, die zweite Art, die auf Teneriffa lebt, soll nur in einigen Küstenregionen vorkommen.
Ich konnte auf Gran Canaria die gleichnamige Rieseneidechse (Gallotia stehlini) beobachten:
Viele Grüße
Toffel