I've sent him some info to get them started (basics: white paper, trade data, Wiki articles/calculators on mining, list of merchants, 'weusecoins.com', etc).
Better to just leave mining out.
Mining is essential. Although I would prefer miners be a bit more concerned about what they are actually doing. Instead of leave mining out, present mining properly. Focus on distributed.