AutoKauf mit Mängeln von Händler gekauft - Mängeln nicht behoben, wobei Verträglich vereinbart

Wir haben ein gebrauchtes Auto im November 2020 gekauft hat bei eine Autohändler. Am Tag des Autokaufs wurden schaden gefunden, was im Vertrag angemerkt wurde, dass dies repariert wird bevor der Wagen ausgeliefert wird. Die Lieferkosten und sogar Garantie für 1 Jahr wurde ausgemacht und bezahlt von uns.

Autohändler hat den Wagen unrepariert geliefert, dafür hat er versprochen Geld für die Reparaturkosten zu überweisen, damit wir die Reparatur selbt machen. Dies wurde auch nicht getätigt.

Auto ist schon im November gekauft worden. Danach ein Monat lang wurde mehrmals telefoniert und jedes Mal hat er es irgendein Grund gefunden warum er das noch nicht gemacht hat. Seit Dezember ist es nichts passiert. Wir haben schriftliche Whatsapp Nachrichten, wo ersichtlich ist, dass er uns verspricht die Reparaturkosten + Garantiekosten zurückzuzahlen.

Das Teil was er reparieren sollte würde angeblich 300 € Kosten (laut Verkäufer) und noch versprach er Garantie kosten zurückzuzahlen (400€) was auch nicht geschah. Wir haben allerdings am 19.05 einen Kostenvoranschlag von einer Werkstatt bekommen, der wir die bekannten Fehlern aufgelistet hatten. Allerdings laut dem Kostenvorschlag sind das über 1400 € an Kosten die anfallen.

Wie gesagt wir haben alles schriftlich und Vertraglich sogar unterschrieben. Wir haben zu viel Zeit und Energie verschwendet.

Da wir kein Rechtschutzversicherung haben, wollen wir den Fall wenn möglich selbst klähren. Wir könnten wahrscheinlich online einen Mannantrag stellen (https://www.online-mahnantrag.de/omahn/Mahnantrag) lohnt sich das ?
Was würden Sie uns empfehlen ? Weil wenn der Mahnantrag abgelehnt wird, und er weigert zu zahlen, laut ADAC https://www.adac.de/rund-ums-fahrzeug/auto-kaufen-verkaufen/gebrauchtwagenkauf/fahrzeugmaengel/ hätten wir sogar das Recht auf Kaufpreisminderung.

Wir sind für jede Hilfe sehr Dankbar.