Yet another source for spanners & other camera fixin(?) stuff is micro-tools.com. I used to be in the business of camera repair & these folks have always been a good source of small hand tools for me.