Du kannst ja mal in diesem Thread lesen wie meine Erfahrungen mit einem Druckertausch waren:
Hab da so einiges dokumentiert auch was Du da an Kosten hast…bzw. auslegen musst.
Ich würde die Reparatur an Deiner Stelle selber machen. Vorher würde allerdings versuchen die Pins gerade zu biegen und den Stecker wieder drauf machen. Vielleicht funktioniert es, bis die neue Platine da ist.