I asked the salesman at Sears today who made the sander, and if it was a Bosch. He said not a Bosch, and that it was just a Craftman, no other manufacturer. Hmmm. I don't know.

https://docs.google.com/spreadsheet/ccc?...amp;usp=sharing