Has anyone had any experience with this brand of tool? I was looking at getting a small benchtop sander and found this one, a Scheppach BTS 900S on the Sears site (the only seller in the States as far as I can tell). Most of the Craftsman and Ryobi sanders I'd looked at, looked chincy or were made in China. Being German made I thought this might be a good one. Anyone have any experience with their stuff? Thanks for any opinions.