Mining an asteroid that has multiple resources? [Modded]

[SM_2023]

So let's say I have an asteroid with multiple resources, my question is if I mine out one resource, will the other remain?

For example, lets say I have an asteroid of mass 100T. It consists of 50% [50T] Ore, 40% [40T] MetalOre, and 10% [10T] Xenon Gas. For simplicity, let's assume that all 100% of the asteroid mass is mineable resources.

If I send a mining ship that has storage space for 55T Ore and only 35T MetalOre, and start my drills, I'm assuming the following will happen:

The Ore tank fills to 50/55 Tons because that's all the asteroid has. The MetalOre tank fills to 35T, but I've read somewhere that if the resource tanks are full, the drills won't stop drilling, leading to wasted resources. This means I'll most likely have to shut off the drills before this point, but let's just assume my reflexes are insane, and 35.00T Metal Ore is all that's drilled.

If my thoughts are correct, then after storing away all resources that I've collected so far, I should be able to send up a mining vessel that has storage space for all other resources that are on the asteroid (In this case, 10T Xenon Gas, and 5T MetalOre), and collect them all, right?

Hopefully this example makes sense, because I'm trying to figure out if my thought process is correct before committing a load of time and resources to designing a MEGA mission in my Science Mode save.

Mission Overview, for those who are curious:

Spoiler

It's a Jool-5, but with an ISRU and Extraplanetary Launchpads to build the lander. Oh, and did I mention that all these resources are gonna come from an asteroid?

(Yes, I also posted this on Reddit, but I figured it'd be a good idea to post here as well, since not everyone on here uses Reddit and vice versa)