Yeah, something like that, also try tracert and ping and stuff like that on the same addresses. Oh, and get a trace of whatever is or isn't going out on the wire (so few people actually try to use WireShark or whatever for these types of problems, and it so often points you in a helpful direction).
The other usual suspect is some sort of web cache, but that's less likely if another machine with the same connection is working fine.