We have a company that performs periodic maintenance on an internal machine. Someone here had set up a server (Mars) with a Winproxy on it, so that when they come from port 64888, it then redirects them to port 23 on our internal machine (RS). We upgraded the server (Mars) and would rather handle this with the PIX. Below is what I have in my config, but it doesn't seem to work. Thanks for any thoughts you may have.
name 188.8.131.52 Support-Boulder
name 184.108.40.206 Mars
name 10.1.2.50 RS
access-list outside-in permit tcp Support-Boulder 255.255.255.0 host Mars eq 64888
static (inside,outside) tcp RS telnet Mars 64888 netmask 255.255.255.255 0 0
access-group outside-in in interface outside