Spot on - we've got several thousand users going through the boxes (thousands of machines in lots of schools), so we need some kind of balancing.
I need a deterministic algorithm to make best use of each of the server's caching. It's working OK at the moment (even with my embarrassingly poor algorithm), but I want to make it as good as possible.
