In all honesty, it really doesn't matter that much if he's eating good clean food sources that's 90% of the battle won right there. You're going to encounter so many different POVs here, many people eat nothing pre-workout, others find that sacrilegious, both perform about equally.
That being said, you basically got it down. The question is, will a 17 year old care to do such a thing? I would focus on the clean food sources first and foremost. I suppose 17 is old enough to start caring, especially if he's got real athletic aspirations in power lifting.