148*27 = 4000 approx. Gatable mini miners with single mining robot, which weighs about 341kt...
50% more minerals and 20% more resources than a comparable maxi-miner (10 mini = 1 maxi)
