It doesn't really matter what port, I normally use 4433.
I think your first choice should be to get their IT company to port forward another external port (e.g.4433) to port 443 of the Mitel.
This way nothing needs to be changed on the 5000. This will depend on the router used though as not all router will let you use different ports, most will though.