I am currently replacing my old Craftsman pad sander. I am not sure which type sander would serve my purpose. I have considered the Bosch 1274DVS and the Ridgid R2720belt sanders. Also, the Porter-Cable 97355 random orbital sander. I don't do a large amount of sanding, just small hobby projects. Any suggestions appreciated. Thanks.