[BUG] Rocket mining was "free". (@?)
Well, then Mining with rocket asteroid with known resources just destroy it without adding any resource.
http://prntscr.com/f5wyjwThat is by (questionable) design, basically mining with rockets is always a gamble. I guess it's worth mentioning in the manual or the FAQ.