what were these tools worth? Like thousands and thousands of dollars?