I figured out the 711 puzzle. I needed to hold down ALT and then press 411 in my DX's settings menu instead.
Unfortunately, my DX's 411 page doesn't list anything about an ip address whatsoever. The DX is 3G only so perhaps this isn't a surprise.
Do you have any other suggestions?