You would have to remove a significant chunk of the moon's mass before mining it affected the tides in any serious way. There's a lot of useful mining you can d

You would have to remove a significant chunk of the moon's mass before mining it affected the tides in any serious way. There's a lot of useful mining you can do without violating that constraint.