> He is using all standard libraries now - once he needs more, we will figure it out as we go!

Maybe you could install Anaconda (or some similar distribution), which has lots (almost 500) of popular libraries preinstalled.