Actually there was a network named irc.mircx.com which binded ports to quite unusual port numbers. (
www.mircx.com)
irc.mircx.com:8080
It was quite a large network with usercount 20k ofcourse counting those warez channels with bots. Anyway I think it unfornately recently shut down due to a large number of denial of service attacks (dos).
Finding a network or a client server binding to 8080 is very rather unusual because 8080 is an http port and most, infact all machines have their 8080 port in used with http rather than for IRC, so it will be very difficult.
No administrator for my knowledge on large IRC networks would bind a socket to port 8080 on public availiable client servers because of the reason of http proxies, scanners running from it.
