Ich gehe davon aus, dass du deine Terrassenüberdachung nicht über den Winter gebaut hast?
Meine Frau und ich stehen vor der gleichen Frage und haben uns nach langem hin und her für das Glasdach mit Beschattung entschieden.
Hauptgrund war, wie bei dir, auch das fehlende Licht an den "nicht-hochsommer-Tagen". Da es von diesen mehr gibt als die hoch-Sommer-Tage wollen wir uns dafür entschieden und einfach einen großen Lüfter unter die Überdachung stellen.
Wir haben uns noch nicht auf die Suche nach einem Monteur begeben, aber schon öfter gesehen, dass man auch nach oben hin einen "Luftschlitz" lassen kann, wo die warme Luft abziehen kann.
Wenn jemand ein Glas Terrassendach hat, kann er ja von seiner Erfahrung berichten...?