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.
I need to make a configuration change for our remote SQL database as our IT department changed the port number which it is utilizing for this connection. I can see the server and instance configuration spots in the configuration tool but I do not see where I can specify the port number to change.
Bret