If he doesn't have internet access on that box, won't that be a problem once he needs some library from PIP or elsewhere? I'm sure right now he's just using the standard libraries, though.
Maybe you could install Anaconda (or some similar distribution), which has lots (almost 500) of popular libraries preinstalled.