[HECnet] NAT, AT&T U-Verse, and HECnet?