Hands down I would RMA the card. It just depends on the company, but EVGA's RMA process is so smooth and stress free. He will be without a card for a bit, but he could always use his old one in the mean time.
Should he RMA it to MSI or Newegg? Also he will be using my old GTX 560 so he doesn't have to reinstall his drivers for his (well mine now) 7850. I just called him and he also said that when he presses cap locks or number lock on his keyboard, the light doesn't turn off like it should, and he has a wireless doggle, so when he turns the PC off, his wireless doggle is still green which means it is still receiving power. I think thats normal but he keeps telling me that it usually turns off too with the PC.