(Heh... I just started working onsite at an office with their own servers, and I've discovered that they haven't updated their IPs yet either!)
And before you try to help me fix it, let me assure you that I have no access to any internal PC settings to "punch through" to the address...