Since no current sub-channel is above 9, just use the leading-zero 3-digit number with the sub-channel as a 4th digit. It is a slightly slower tuning (by a second or two) than the leading-zero sub-channel as it waits for the fifth digit, if you can punch that fast.
Probably in your favorites list you will not want the .0 mapdown of the dish LIL. Then the 3-digit alone will take you to your .1 channel. WRONG, just tested that and while it worked in the guide, out of the guide it took me to the .0 channel. So don't bother to eliminate the .0 (Dish) channel as it will be easier to remember--I'm going to change my habit now although I do prefer not to have the .0 when browsing the guide. I usually look through the 6xxx channels to get a compact list of Dish-relayed HD channels.
BTW, I thought .0 was suppose to be the analog (it is on my TV) but since the 722 does not do those, it can't be, yet it is recordable. I see, on all-sub that both dish locals and dish HD-locals are listed as .0.
Sorry for the wandering,
-Ken