Change default to 8400

For speed reasons, we'll default to 8400. But since it's a command line
arg, it can be manually set if the connection warrants it.