Am 11.08.2016 um 21:33 schrieb John Yeung <gallium.arsenide@xxxxxxxxx>:
I don't know either. Maybe it would be heavy, maybe it would not. You
have a lot of users, but how many simultaneously use the system? If
it's only a small fraction of total users, then probably all you
really need is sufficient disk space.