The problem was the exact opposite. He couldn't ping others' IP addresses. However, we somehow resolved this by having him switch screen names. I don't know why it worked, but things are back to normal. He's back into the community. Thanks for your help. :-P