für 300€ wäre es ein Schnäppchen, 15-20MHz Takt reduzieren, die Pins wieder reindrücken, notfalls eigenes Kabel fummeln und Problem gefixt.
alles über 300€ wäre mir schon riskant, wer weiß was er mit der Karte noch so gemacht hat, Verkäufer erzählen nur selten die vollständige Wahrheit