Staying on the topic of Bench Grinders (with the spinning stone wheels), there are also more modern accessories to replace the stone wheels, which are safer and cut more efficiently. Such as:
Eastwood Expander Wheel Expandable Rubber Drum for Sanding Or Grinding Belts Polishing & Cleaning & Derusting & Deburring Working in Metal - Amazon.com
www.amazon.com
This is a 6" dia x 1.5" wide rubber wheel that takes a sanding band (a short sanding belt) on the outside. The wheel expands by centrifugal force to lock the band on. Shut it off and bring it to a stop, and the band can be swapped in seconds. The bands are available in a wide range of grits. This would be a great tool for your son to use restoring axe and hammer heads.
One note: It's rated at 2400 rpm max. Don't put it on a 3450 rpm grinder. It would be great mounted right on the shaft of any 1750 rpm motor.