AoPS preAlgebra is what I would do too. It does have some great problems with good solutions along with all the videos. Alcumus is a good tool also. He might get interested in the community forum also. Its a great resource plenty of ways to learn.