Hi Kevin,
I'm not sure that you can redirect a port - certainly not at the DNS level.
DNS resolves a "machine name" nothing to do with a port.
As you say, on a page you can redirect to any port with either a redirect, or a simple URL they click.
cheers
Bruce