Hallo,

weiss nicht, ob dies hilft, mir hat damals ein Tip aus diesem Forum geholfen: http://www.haustechnikdialog.de/Forum/

Musste aber nur einen Fühler tauschen.
Generell, wird es nicht gerne gesehen, bei Gas etwas selbst zu machen.

Grüße
Bernd