Service Principal Name for SQL Server with named instance and port

Hello

I have a SQL Server named instance like 'SQLServer01\SQLDev' where 'SQLServer01' is the name of the Server and 'SQLDev' is the named instance. I set it up so that it does not use the default Port, it now uses Port number 4117.

What is the syntax to register a SPN for the SQL Server?

Right now I have it as

MSSQLSvc/SQLServer01.Contoso.Local:4117

MSSQLSvc/SQLServer01:4117

I know this is incorrect and would appreciate any help with registering the SPN for a SQL Server with a named instance and a different Port. I also need to register the SPN for Analysis services in the same manner.

Thanks in advance.

Yoshi