I’m sure you are! LOL!
At least one pilot had experienced it before and knew what to check right away. And now the other pilot will know if it ever happens again.
I’ve had several lightning strikes. The bolt may weld small holes in the skin of the airplane. Some arcing of electricity may occur inside. Usually no real damage. It can make a loud noise heard inside the airplane when it hits.
I suspect both pilots had simulator training so they knew how to respond in that event. Though the plane appeared to be fine, I would expect it to be pulled from service for inspection after DFW arrival.