Give him a CD with Puppy on it and tell him to do a full install. Should solve the problem.
does it even have a CD drive ?
Good point. Thumb drive, then.