Looks like they added another batch of keys; it was down to a little over 4k keys last time I checked, and now it is up to about 9500.