I was looking around on YouTube and came across this video. A whole workshop full of pretty high end tools for sale, many of them never used. It was all up for sale a few years ago, but I'm wondering how much the whole shop contents sold for.
formatting link