URL redirection from https://xyz to https://xyz:9443

it looks okay to me.

 version

root@ve10(Active)(tmos) show sys version | grep -A 6 Package
Main Package
  Product  BIG-IP
  Version  10.2.4
  Build    817.0
  Edition  Hotfix HF7
  Date     Mon May 20 15:08:56 PDT 2013

 config

root@ve10(Active)(tmos) list ltm virtual bar
ltm virtual bar {
    destination 172.28.24.9:https
    ip-protocol tcp
    mask 255.255.255.255
    pool foo
    profiles {
        clientssl {
            context clientside
        }
        http { }
        tcp { }
    }
    rules {
        qux
    }
    snat automap
}
root@ve10(Active)(tmos) list ltm rule qux
ltm rule qux {
    when HTTP_REQUEST {
  HTTP::redirect https://[HTTP::host]:9443[HTTP::uri]
}
}

 test

[root@ve10:Active] config  curl -Ik https://172.28.24.9
HTTP/1.0 302 Found
Location: https://172.28.24.9:9443/
Server: BigIP
Connection: Keep-Alive
Content-Length: 0