It's just a coincidence that it happened just after getting the repairs done, but since you obviously have a network connection (online games and web surfing) chances are it's the IRC server to which you're trying to connect that's the problem. Try a different server on your IRC network, try a server on a different network before trying to change any settings on your machine.