Ich würde jetzt ebenfalls erst einmal beobachten, wie sich die Leitung mit dem aktuell eingestellten Profil verhält. Entscheidend ist am Ende nicht, ob 80, 90 oder 100 Mbit anliegen, sondern ob die Verbindung dauerhaft stabil bleibt. Häufig sind ein paar Mbit weniger im Alltag deutlich angenehmer als regelmäßige Resyncs und PPPoE-Abbrüche.
Der Vergleich mit dem Nachbarn ist allerdings immer etwas schwierig. Selbst wenn die Häuser direkt nebeneinander stehen, können unterschiedliche Doppeladern, Hausverkabelungen oder Anschlusswege zu völlig anderen Ergebnissen führen.
Interessant wäre tatsächlich, was der Techniker gemessen und im Ticket vermerkt hat. Falls die Abbrüche trotz des niedrigeren Profils weiter auftreten, würde ich dort noch einmal gezielt nachhaken. Vielleicht ergibt sich aus den Messwerten ein klareres Bild, ob die Ursache eher auf der Leitung oder im Hausnetz liegt.