Adding "-vvv" to the given SSH command, it looks like it uses the first SSH key given. I happen to have quite a few for various services. I suppose you could of

Adding "-vvv" to the given SSH command, it looks like it uses the first SSH key given. I happen to have quite a few for various services. I suppose you could offer up one specifically by running ssh -o "IdentitiesOnly yes" -i ~/.ssh/id_whatever mars.vtllf.org (I use the IdentitiesOnly option because I often see ssh still offer other keys without it)