For our random module, if users run into a "random has no choice attribute" error, the problem could be that they've named their file random.py. What's happening, is, when you try to import random, Python is attempting to load the random.py file instead of the random module