To clarify "DNS pool" further, so there is no confusion:
A DNS pool is simply a hostname that points to multiple IPs. For example, "irc.foo.com" might point to three IPS: 1.1.1.1, 2.2.2.2, and 3.3.3.3. mIRC will try all 3 as a single connection attempt to "irc.foo.com".