Host 10.3.99.1  # my gateway
port 1022       # sshd is listening on 10.3.99.1:1022
User ben        # That's me!
ForwardX11 yes  # Sure, what the heck

LocalForward 8995 target.example.com:995   # Is this right, or should I be using
the gateway IP?
LocalForward 8025 target.example.com:25    # Ditto

# you connect from lap with ssh -p 8022 gateway
# and you actually reach target port 22
LocalForward 8022 target.example.com:22