die Zündspule habe ich noch nicht gewechselt. Die kommt nun aber dran.

Ja Gas hat er, aber das Problem tritt nur auf, wenn er NICHT auf Gas läuft.
Die Wartung an der Gasanlage war im Sommer 12. Da u.a. auch den Temperatursensor gewechselt.