No, I knew all that - I'd just assumed that they'd either made it non-random enough to prevent a "less than 10 cards" situation, or would have had the sense to build in a special case rule. But this is Microsnot, I should have known better.