These defaults should probably now be larger (and perhaps configurable, with the defaults a bit lower for the RPi using @gimick's incoming code). Maybe 5000 for a teacher and 2000 for a student.