Es ist schon eine Fachwerkstatt (mit anwesendem Meister), aber keine Markenwerkstatt.
Manchmal glaube ich, die tauschen lieber aus als zu reparieren.

Werde auf jeden Fall Eure Lösungsvorschläge ins Gespräch bringen.

Der Vollständigkeit halber ´mal die genaue Definition, die das dortige Gerät ausgespuckt hatte:
"Aktivkohlefilter-Magnetventil - Fehlfunktion Stromkreis".

Klingt zumindest für mich nach der Stecker-Variante. Am AKF will man allerdings schon nachgeschaut haben.