I agree that you don’t want anything highly edited or anything more than laying an audio track with a video track.
If your student is going to do music at college in any capacity, this might be a good time to just invest in a decent microphone. You should be able to get one in the 100-150 range and then you’ll have it. Talking to your music teacher about it is a good idea - if nothing else, using their studio space as a recording studio might be good.