clarified server requirements, especially wrt to disk

8 MB x 5000 = 40 GB, right?