Thanks for the heads up. I'm going to guess that this is similar to the leather holsters we're all familar with for the 72xx/77xx series.
Like this:
If you look at available accessories for some older models that's what they are calling the "Leather Holster." No flap on top.
In any case I went ahead and ordered one (of course) with overnight shipping. So if it's in fact in stock I should have it soon.