All really good stuff. They will learn more than they could in any school. It's good if they learn to function largely autonomously, with parents more as fans and chauffeurs (and parents of course, on non-music matters) than coaches or marketing departments, which can twist it.
I strongly recommend that they get together with [the bandleader] or someone else worthy, well in advance of recording plans, with the goal of showing them what needs work and tightening (almost for sure, any teenagers will need help on the singing). They can make big gains through the summer, maybe record a few tunes to put on a web site, and save a real disk for when they are readier to make one, after the summer. Learning and breaking in some original or unique material will make any recording more interesting to djs and fans.