Well, he could buy a big aluminum heat sink for ~$10-12 and a big ass thermal pad and solve the problem that way.You'll need a nice and powerful power supply for that 3090 and I hope to god you got one with decent VRAM cooling on the back otherwise it will die in a few months.