Ok, every game I've played I've mined out asteroids as high as possible. However, I cannot tangibly tell what, if any difference mining them makes. So, can someone tell me what the actual mathematical/statistical advantage is for asteroid mining? Also, it seems to me that planet bonus tiles are still severely reduced from DL, especially on the "specialty" worlds (aquatic, heavy gravity, etc.). Comments, anyone?