The lower rotating 10 bits should give them a reasonable safety margin. If they're creating less than 128 entries in a particular shard per second (right now they're doing that across their entire datastore), their clocks would need to be out by 8 seconds to cause a problem.
They should definitely be monitoring their clocks though :)
They should definitely be monitoring their clocks though :)