Credit: Courtesy D.C. Tool Library More than $10K in inventory was taken from this unique DC library. Within days, the community covered the cost