Could this be a little problem with the file system? I suggest to let him run chkdisk and make sure there are no errors. If it doesn’t solve the problem, ah well, it can’t hurt trying