Ops Mgr product team at Microsoft has made a tool to work with proxy settings in Ops Mgr 2007. With this tool you can easy browse proxy settings. A great way to for example very that all your domain controllers has the correct setting. Current version is 1.1.
You can download the tool here.