I've done some research on the cicada we found last week... It's an annual cicada (as opposed to a periodic cicada), of the genus Tibicen, family Cicadidae, order Hemiptera. Some members of this large genus are known as dog day cicadas, because they hatch during the dog days of late summer. Thanks Ray, for helping with the ID. Here's my photo again, enlarged.