How long ago did they make the change?
DNS information is cached. As long as you do not have a zone for that domain locally, then the DNS information is pretty much out of your control.
You could try flushing the cache on the server:
ipconfig /flushdns
However if that doesn't work then the cache is further upstream and out of your control.
-M
