200 might work if we had a simpler way of deleting the top (oldest) 100 or so whenever we need more room. Having to do it one by one is just such a chore. If we had twice the space, it'd still fill up and we'd be trying to one by one delete 200 of our 400 names. Twice as laborious half as often is pretty much a wash.

I wish we could just select a whole bunch of names and delete them all at once. (We also need a notes or category field, so we can remember which ones were obnoxious players as opposed to RMT, so we can leave those on there when clearing out the old RMT names.)