More than $10K in inventory was taken from this unique DC library. Within days, the community covered the cost