As you noted, there's no place in the UI to make this change. I am not aware of any way to define the port. That said, there may be a mechanism for defining the port to use. That's a bit out of my area of expertise. Please call the hotline so they can engage a developer and see if there's a way to define the port number.