But will it allow PPP through port 80? My feeling is that it's probably restricted to http to make it easier to configure who on the network is allowed to use particular ports and, hence particular services like HTTP, FTP, PPTP, etc.