Würde auch auf Zündstartschalter tippen da ist ne feder in dem Gehäuse und die reist oft aus tja und irgendwann geht er schwer an und dann garnicht mehr.
Das Teil selber ist recht billig ca. 25.- € dafür hat es der wechsel in sich.