Nice story!
One small point about the binary-counter process is that you cannot stuff an arbitrary number of nibbles back into the box - the smallest counter-example being three. On the other hand, you can always increase the number of them by one through selecting one and feeding it (and for the same reason, you cannot assume there are an even or power-of-two number of them to start with.)