[janpet]

I never tried to mine planets, I was thinking of mining asteroids when I suggested using satellites. IMHO they make a useful addition, they are cheap to manufacture and there is no great loss if the opponents destroy them.