This is my SSH config that makes connecting to DICE easier It goes through the gateway automatically and you don't have to specify your username every time.
To use, add this content to ~/.ssh/config,
(or whatever the SSH config file is on Windows),
and replace sXXXXXXX
with your login.