I think you just append a colon and the port number after the gateway hostname or IP.

Jim L

> On Nov 2, 2019, at 6:49 AM, Eric Vey <junker@ericvey.com> wrote:
> 
>  I was wondering if there was a way to change the port number SM uses to gateway?
> 
> 
> -- 
> Sent from my Android device with K-9 Mail. Please excuse my brevity.