[R-sig-Debian] Secure apt

[Scott Raynaud]

I am trying to add Michael Rutter's ppa to my
repository.  I cannot do this from the command
line.  I think I may be behind a firewall so copying
the key to a text file is my best option.  When I
search for the key at 

http://keyserver.ubuntu.com:11371/

the search fails.  Tried typing and 
cutting and pasting E084DAB9 into 
the search box without success.  How 
can I get the key?