I was in an antique store last weekend and they had maybe 6-8 different miniature tools, very heavy, none any longer than 2 inches, there was a shovel, a pick, a rake, a sledgehammer, I cannot remember the rest, very well detailed and made. I asked him how much thinking for 3 dollars a piece tops I would buy them just for the heck of it.
He wanted 5 a piece and so I left them. They looked very old as they had a nice aged finish