Brian, the only place I ever saw those tools was at Nuuanu Hardware in Honolulu. The Japanese also make a short handled hand saw that is hard to describe-the handle is a short dowel with a two sided blade about the size of a 5-7 index card mounted to it. Sounds weird, but works really well. My folding saw is made by YKK, probably not the zipper company, but that's what the label says. The blade on mine is 10" which is a bit bigger than I remember (haven't used it in years), but they do make smaller ones. A small pruning saw would do the same job. What I like about mine is that if folds like a pocket knife, so no case to lose.

Found a fancy version of the handsaw-
http://japanwoodworker.com/product.asp?pf_id=19.605.0&s=JapanWoodworker

and a fancy version of the folding saw-
http://japanwoodworker.com/dept.asp?dept_id=13932&s=JapanWoodworker

Mine probably cost $5-10 at most, but it isn't fancy and I've owned it for years. There are a few websites selling the fancier ones. The thing about these saws is that they are incredibly sharp and are designed to cut on the draw stroke rather than the push stroke like a typical American hand saw.

Yep, you are right about the trench. It was on a slope and I just cut into the hillside to make it flat-maybe 18-24" deep or so at the most. Zero wind that night, temp probably around 20F at 8500ft. up above Palm Springs. Took the tram up. The snow was firm, but not rock solid, so it wasn't that much work. I have a Voile Mini shovel-metal blade.

Anyone getting a shovel-stay away from the plastic bladed ones-totally useless in some conditions, like snow mixed with layers of ice. Voile, BD or even this cheap one on Amazon would be better in my opinion.
http://tinyurl.com/4rnx7rc