Thanks folks. Your comments dovetail with what I've read about how amateur boxing runs these days, with a focus on safety. We'll give it a look.
I wonder a bit how much the techniques might mess up his karate training (just moved up a belt last night!), but he's a bright enough lad to keep the things separate in his mind.