Hallo und danke für die Rückmeldung!
... und ja es stimmt: es sind Außentorx (die waren mir bis dahin noch nicht wirklich bekannt )doch mit geliehener Torx-Nuss ging es weiter.
Hatte dann noch mit den Kabelsteckern "zu kämpfen", die teilweise genau über den Schrauben im Weg waren. Die Stecker von den Zündspulen habe ich einfach aufgesteckt gelassen (was übrigens völlig unproblematisch war).
Der Zündkerzenwechsel mit dem Spezialwerkzeug mit Magneteinsatz war dann wirklich easy.