After working too many hours outside in the ridiculous heat this summer, I am treating myself to a trip to the United Kingdom this Fall. I am mainly going to attend a couple of the Rugby World Cup matches, but will have a couple days in London. This is my first time ever crossing the Atlantic, so I know there will be a million things to see and do there -- more than I can possibly fit in. But, my question is, is there a tool seller or tool museum in London that I should plan to seek out? I don't want to return home and find out that I missed some great place filled with thousands of antique tools. All advice appreciated.