The injured was operating a double boom roof bolter. When he placed a 3' wrench into the drill pot, the drill steel ( which was still in the roof) fell out of the hole mashing his right thumb between the drill steel and wench. This caused a laceration which had to be closed with sutures.