groov Admin is set to port 10000 (and cant be changed).
groov View (and Build) are on ports 443 and 8443 (and cant be changed).
If you are inside your firewall, hit https://yourhostnameOrIP to check port 443, the default https port for groov View.
You can then check https://yourhostnameOrIP:8443 to check port 8443, the default https alternate port for groov View.
Lastly, hit https://yourhostnameOrIP:10000 to check for groov Admin.
If all this works as expected, then the mix up is on your router or some other network device that you have in the path.
In short, you are correct, there is no documentation for changing the port numbers because you cant.