Of course shortly after asking this to be posted, I remembered a workaround to my DNS problem. We have multiple proxies, I simply switched over to another one to get here again.