On a similar note, is there a particular advantage to dropping off an automatic mine onto a planet/asteroid vs a mine? I have both and I haven't figured the difference...although as I write this I am fearing that a colony requires a population to use a regular mine...noticeably absent on asteroids and non-hab planets.