Bud, are those on irc.rizon.net? Or a different one?