That only works if he's close by an outpost. Otherwise, and this happens quite a bit to me, he has to mine. And if the planet he's on has shitty Sents, he's going to have to mine.
I mean, the solution shouldn't be to sidestep a key component of the game because there's an annoying system that doesn't vibe with it. It should just allow the player to do what he needs to do, especially when he's trying to craft or upgrade otherwise.
But if the game is actively telling you to mine and then telling you not to mine because some invisible aggro level might be hit, that's not the fault of the player. It's like laying some tools around to play with then smacking their hands when they want to use some of them, telling them "maybe you should have brought your own".