Ask him if he has a video card selecting utility running in the background. He has an AGP and a PCI vid card by the looks of it, and a proggy like 3DCC will allow him to select which one...this problem sounds like a video driver issue to me...select ONE card, and problem should go away.