Multiple SSH Private Keys

As we all know, you can use additional private SSH keys by doing the following:

ssh-add ~/.ssh/work_dsa_key

What I recently learnt was that you can have SSH automatically add these by adding the following to the top of you ~/.ssh/config

IdentityFile ~/.ssh/work_dsa_key