Socks5 RFC draft says that when UDP support is present in the Socks5 server, the server would assign arbitrarily chosen UDP ports: RFC 1928 - SOCKS Protocol Version 5
Some Socks5 servers such as 3proxy uses random UDP port (IMO, it would be undesirable to work with firewalls).
If one day Tor devs decide to implement UDP support in Tor, how Socks5Port would behave (as SOCKS5 is designed to work with UDP too)? Will it use random or fixed UDP port(s)?