I think this is solid advice. I don't think it would be a good thing to make an issue on the course, but a quiet word after the round is over might help the youngster realize that the AJGC way isn't necessarily going to be the "right way" to do things as he moves on.
Possibly I should be playing the forward tees. That's 5800 yards on my home course - middles are 6088. My drives will go between 200 and 220, so that's borderline 6000, and my 5I about 150-170, so again borderline 6000.
When I play by myself, I usually play yellows, and likewise when I play with my father (short hitting, 20 handicapper) and my main golf partner (longer-hitting 28 handicapper), but I have no issues playing from the reds - just habit. I tend to play the reds when I play with my son, as he's (even) more of a novice than me, and it's nice to be on the same tee - feels more social. It'd be interesting to see the difference in score those 288 yards make... 288 / 18 - 16 yards a hole on average - what do folk reckon? I don't tend to score when I play with my son - just practice a few things and enjoy being outside.