Cicada season in ATX (at Austin, Texas)