Wat is een "tokker"?

Hallo,
Vorige week viel ik met de 740 2,3 carburator versie in panne op benzine, een defect aan de brandstofpomp. 
Ik dacht gewoon een andere brandstofpomp  te installeren maar de depanneur adviseerd een "tokker" te installeren.
Dit zou een electronische regelaar zijn voor benzine en LPG en eerder goedkoop uitvallen.Ik heb er nog nooit van gehoord. Kan iemand we wat meer uitleg geven?
Dankje!
Geert

Die depanneur kan zich beter met pannen bezig houden.

Een tokker zit toch in de bomen ? Ook wel bekend als specht ?Serieus: Geen idee wat een tokker is. Kan me er eigenlijk ook geen vorostelling van maken wat het zou moeten zijn.

Het tokkend geluid zou te horen zijn bij het starten van de motor, daar ontleent het zijn naam aan in de volksmond...
Ik geloof dat het een electronische benzinepomp is...

Is het niet deze?Elektronische benzinepomp Deze SU pomp vervangt alle gebruikelijke SU benzinepompen, zoals gebruikt op MG, Jensen Healey en Lotus. Hij maakt nog wel het orginele tik geluid maar er zitten geen contactpuntjes meer in. Zeer lange levensduur en doet het ook gewoon na lange stilstand. Prijs: € 180,- Andere modellen zijn ook leverbaar.

Hier gevonden.
Gewoon een brandstofpomp dus.De originele is volgens mij goedkoper.

Ik gebruik altijd pompen van het merk Hardi voor diesel generatoren. 12 Volt, gewoon bij de automaterialen handel, voor minder als 100 Euri's meen ik.
Afstellen max. 60 "tokkies" per minuut, ik heb erbij die al zo'n 15000 uur probleemloos staan te "tokkelen"