Could guppy.ia64.dev.gentoo.org be set up to point to 192.25.206.72? Thanks
Done, give it 45 mins to propogate.