On a recent visit to Germany a car cleaning company was using an air operated cleaning tool. The guy was cleaning a headlining & it looked a very good machine. I have found one thread on here from cplnoonoo in 2010, who mentions a Tornador. This seems to be the tool I was looking for. Searching...