Are ports 1736 and 1636 default ports? If so is this stated somewhere? We are currently building out new servers and found these are needed. I believe we had used them for some of the WAMUI configurations. All the documentation we see online only mention 44441-44444. Thanks.