Was in the same corporate boat as you a while back. The FoxyProxy addon [1] is much more flexible, I recommend you switch to that since it enables quick toggling between the IE proxy and your configured ones.

[1] https://addons.mozilla.org/en-US/firefox/addon/foxyproxy-sta...