Auto-translated
We discussed this topic many pages ago (or it was in the rules). In general, "red rush" is a debatable concept. For example, if I attack a weak enemy with a large army, and he only has one unit, did I lose? I don't think the weak enemy would care.
And a "red rush" on a mine is just silly. But it would be funny if the mine had guards and was attacked on day 121.