Oh yeah.
comet Shoemaker-Levy 9 smacking into Jupiter was pretty cool.. this would leave a heck of a dent were it to hit.
we have enough stuff observing Mars, we would get some good data and images as well, after the dust cleared..
Much easier than shipping a backhoe to Mars, that’s for sure. Perhaps it would excavate a strata of ice.