by running a simple proxy on port 80 that redirected the packets to the real server.

Unfortunately, it's more than just port 80. It's ports 22, 25, 80, 81, 110, 143, 443, 993 and 995. In itself, that's not so tricky -- it's just a pain to get right.