Just buy new man.. whats another 20-30k-40k when you are already spending 120-140k.
Also my recommendation is buy a brand which is serviced by Kaizen, they are very good during RMA's.. dont do many if and buts. Gigabyte always tries to repair and Rashi almost never has stock, they try to offer partial refunds and stuff.
Especially because all 4080 and 4090 are so overbuilt, they are all silent and basically within 25-50mhz of each other.. any card is easily going to overclock by 100mhz if u care about that stuff.