Yeah, that's why I said "probably". I wonder if it's a net gain or loss in the game of 'drop a rock on Europa'. At this point, I'm leaning toward 'gain'.