Thanks for the reply! I was leaning towards the Voxel and about to pull the trigger, when I came across the Monoprice Cadet. There's not as much information out there about it as there is with the Voxel/Adventurer 3, but it appears to be almost universally recommended as great beginner printer, especially for kids. So unless someone knows of a good reason not to start there, I think that's what I will go with. We can always go bigger in the future if it's actually something he enjoys doing.

I've started to learn how to use Cura (which so far has been pretty simple; I've got a decent amount of experience with 3D modeling software and lots of experience programming 3D graphics so other than slicing there's not a whole lot of new concepts for me to learn). So hopefully it will be a good out of the box experience and he will really get into it!