[cwillu]

A universe where humanity can measurably change the orbital parameters of the moon is a universe that humanity has won, more or less.

[whoisthemachine]

Yes it seems like if we are able to destroy the moon, then we will be able to do a lot else fairly efficiently (asteroid capture and mining, for example), and moon mining will be something we choose not to do for preservation's sake.