Bore tech post. Please ignore: Anyone here know what they call the mini-cratered walkway technique? I know one way that they do it as it is used in some outdoors malls here. They use what appears to be clumpy rock salt type stuff that is tossed and pressed into the surface and then washed away once the concrete is hard. I am sure this post is in vain and no one knows or cares, yet I ask anyway.