Thanks to all who replied. I'm still looking for small plastic shovels. Maybe this summer I'll steal them from a kid not looking at the beach.
I wouldn't do that. Maybe I'll trade for a tootsie pop.
I've posted version 1 of my included usage instructions in the media area. Maybe I can get it linked here, if the CD-gods are smiling.