Yeah, we all have our own tags for critters. Went looking online for doodle bugs and most all of the links pointed to ant lions. We called those sand diggers when I was a kid.