More of a silly work-around rather than an actual solution:
Have you tried downloading the new update from another computer then copying the files across directly? Of course, your friend's problem still won't have been solved, but at least if it works they will be able to play.