FYI, the IP address of 172.20.x.x is a private network address, and is not a public IP address.
I'm not sure about the iPAQ, I have never tinkered with one of those. The addresses seem to make sense, and it appears to be getting a lease, so I don't know why it's not connecting.
The college may indeed use RoadRunner as their provider, most ISP's have commercial accounts as well.
BTW, T1 is 1500/1500, and my Comcast cable account is 6000/384. As you can see, downloads on a typical cable account exceed a T1 line quite handily. Now, I suspect that the college has a lot more than a single T1 line, more likely at least a couple of T3 lines at 45000/45000...