I asked this question a few minutes ago, only to realize the reason I was having trouble picking up my SSH credentials was that I was on the wrong host (shocker!).
I know that many simple solutions are still useful on a Q&A site, but I'm not sure how useful this would be to anyone.
Should I delete this question? Does this count as a simple typographical error?