port-993

This comes up every day. It makes setting up email less than trivial if it doesn’t work the first time around, or if your email