Two Exchange Servers, One IP Address

I have a production Exchange server and a lab one, and a single public IP address. Both want port 443. HAPMan is the free tool I built to route them by name, with HAProxy doing...