if you're gimping auto-mines *and* asteroid mines, you're making asteroids considerably more player-intensive- and they're already conspicuously high on the ol' clicks-per-unit-reward metric. i exploit asteroids in 7.1, but if i couldnt just throw capital at them, they would be nothing but a visual noise and processor slowdown.