Was just over there. Awesome amount of raw materials. Aluminum for $2/lb, steel $0.50/lb, stainless steel $0.90/lb. Delrin and other plastics were $3/lb I think. Lots of shapes and sizes. Most of the nice machine tools are already sold. There was some amount of small cutting tools like end mills and drill bits, but many were damaged or dull, and I don't think worth what they were asking.