Redirect http client to https on same non-default port

Hi guys,     I have a customer request of which I'm unsure whether it can be done at all or not:     I have a virtual https server on a BigIP running 10.2.0HF2. The virtual server is not r...