He would have great luck with a bench top belt sander with 250 grit, and sticking to the higher grits by hand for final polishing. Much easier when you can let

He would have great luck with a bench top belt sander with 250 grit, and sticking to the higher grits by hand for final polishing. Much easier when you can let a power tool do most of the work.