I have an old craftsman belt sander and am looking to upgrade to something with a dust bag. Any recommenadations?