Hmmm, if this answer helps now, I'd say he has played too much? Even though Minecraft doesn't take a lot to run, try re installing it or even deleting the .minecraft file in %appdate% in run, it will get rid of his saves though, so make sure he hasn't got any big projects going on! Hope I helped!