If they are learning... and learning effectively and efficiently. It doesn't matter. If you think the videos take too much time... you could suggest he try a "video speed-up" plugin... watch things at like 130% or 140%.