What is the specific EFNet server you are trying? If you type /dns that.server.name what does it say? If you try and connect to 208.178.231.190 does it work?