cat, head, tail, piping and lots of grep is enough to solve the mystery. It might require reading --help pages though if he is not familiar with some of the options of these commands, which would be quite educational anyway.
So I'd say go for it!
So I'd say go for it!