The entire point is though that his name server clearly isn't resolving those hostnames. Using /dns from mIRC of nslookup from Windows won't change that (unless he specifies a different name server via nslookup).