r8 gains 25% resource mine production bonus

src/engine/objects/Mine.java

@@ -578,6 +578,19 @@ public class Mine extends AbstractGameObject {
         if(this.production.UUID != 7)
             amount = amount / value;
 
+        Guild owner = this.owningGuild;
+
+        City city;
+        if(owner != null) {
+            city = owner.getOwnedCity();
+
+            Building tol = null;
+            if (city != null)
+                tol = city.getTOL();
+
+            if (tol != null && tol.getRank() == 8)
+                return (int) (amount * 1.25f);
+        }
         return amount;
     }
     public Boolean onExit(HashSet<AbstractWorldObject> currentPlayers){