My university uses a HTTP proxy too. The proxy makes connections only on ports 80 and 443. So, OpenVPN on port 443 is pretty much the only option. Wish Google Hangout would work over HTTPS.