Mein „Freier“ meinte aufgrund der komplizierten Lage usw. kostet es bis zu 2500€!? Ist das normal?
Wechsel die Werkstatt! Aus- und Einbau dauert vielleicht 1 Stunde (Ich als Laie in Hobbywerkstatt) und ein neues AGR kostet AFAIR unter 200,-.
Ehrlich: Ehe Du da noch lange wegen Softwarelösungen rumsuchst (die auch Zeit und Geld kosten), einfach machen. Tip: Motor warmfahren, dann gehen die vier Bolzen leichter auf. Dann nur leicht lösen, 1 St. warten und kalt weiterschrauben. Beim wieder Einsetzen der Schrauben Keramikpaste an die Gewinde (empfiehlt sich beim Auto an fast allen Schrauben).