Glad your trees didn't get hurt! I used to not worry much about lightning, till about 12 years ago when my kids were out in the front yard, playing in the rain, and it struck a palm tree at the end of the driveway. Major attitude adjustment for all of us. Then, a couple of years ago, lightning struck a saguaro about 30 feet north of the house and blew it (the saguaro) into pieces. Yikes!