Small suggestion: I think if the miners have megarock focus, they should be mining regualr rocks, if there are no megarocks. And vice versa.
I totally agree, good shout!