It's very common to run Pushlink behind a firewall in a LAN environment. See the names we use:
push.pushlink.com:443
www.pushlink.com:443