Except if it is a public IP given to him by his ISP and more than one node has it, there will be a conflict."
Well if that is the case and it is broadband cable, all he has to do from the "Dos command prompt" is ipconfig /release and then ipconfig /renew and he should get another IP addy unless...