912/913 tools?!
I've never heard this before! Thanks for correcting me - I wouldn't have thought tools had many uses in commercial applications, but clearly I'm wrong - although I suppose its predecessors - 961/972/900/925/960 were all available with tools. Looking at the underside, though, you'd never guess! I doubt many of the 912's buyers ever bothered with tools, especially if they weren't the quick-fit kind, since most hotels, offices etc would have some kind of canister cleaner available as well...I can imagine many sets of near-mint tools just getting binned eventually.