Hi, Jgoodall and everyone
I am having just same problem. My PC is also under my corporate firewall. I hopefully would like to use Arduino IDE under my corporate firewall. Could you kindly tell me what was your deeper issue with your coorporate firewall? If problems are identified, I am going to talk with my company's IT team.
Thank you very much for your help in advance.