Das Lenkgetriebe ist ziemlich gut verbaut. Der Aufwand ist nicht gering, es geht aber ohne Ausbau des Motors.

In eine Fachwerkstatt wuerde ich nicht gehen, lieber eine freie Werkstatt waehlen u. vorher genau fragen, ob sie in der Lage sind, dies zu reparieren - sowie Kostenvoranschlag erstellen lassen.
Das Lenkgetriebe wuerde ich trotz des Risikos versuchen, gebraucht zu bekommen, oder als Austausch, neu kostet es (mit Servotronic) 1010 EUR.

Meiner hat bei knapp 280 TKM angefangen zu lecken/rauchen.

Viele Gruesse