It doesn't really effect the margin of error at all. Though I think there's more than 8,000.
I just made a very rough guess from how many registered names there were in the first 2 letters of the alphabet by using the User List -- Roughly 1,500, and multiplied that times 13. I realize now that I caught numbers as well in that formula -- either way, it doesn't affect the margin of error.
