When I was in college I used OpenVPN to get around the firewall. My home PC had OpenVPN running on TCP port 443. My college's firewall was pretty intense, it wouldn't even let you access SSL over port 80, which is why I had to choose 443.
Sorry to show my ignorance here, but I didn't know there was a way of checking that SSL traffic contains HTTP, not without having the decryption key. How does this IDS thing work? How can it look at SSL traffic and determine whether it contains HTTP? (I did a quick Google for it but it appears the initialism IDS is used for about 20 different things so I don't know which one I'm looking for).