We have installed Lotus Traveler on Domino 8.01 and it works very well. Push mail is excellent. The problem is that it uses Port 80 for the connection. So, if I restart the server and Lotus Trav...