I completely agree with the “01” problem, it should be “001”.
Single digit is great but then one service needs more than ten, or you keep rolling them over into new ones (one of our production server is 13 because it’s the thirteen generation). But then I want all the numbers of have consistent patterns, so if one has two digits, they all have to have it.