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.