Is it acceptable to make 1025 the default port? It's still on HTTPS