When this happens next time, use ping in command prompt with server's name to see whether it's going to return the IP address. That'll show you whether DNS works.
Check your local connection documents - local address book > Advanced > Connections to see does your server have correct address (if DNS works put the server full qualified name in that, "Destination server address", field).
When admin tels you something is working fine - you have to check yourself :)
Hope this helps,
MbĀ¤