Need to ODB advice. Neighborhood Dog attack. (Thank goodness for security cams)

I know how this is going to end before I even begin. But I just want to make sure my thinking is on point.

After what seems like weeks of grey, it was a beautiful bluebird day here today. So my wife took our Boykin for a walk. On her way out, one of our neighbors (that we know, but not well) have a great pyrenes. Apparently he slipped his fence and got after her and the dog. She was able to keep herself between the two of them as they circled each other. Fortunately, another neighbor heard her cries and pulled the other dog away.

On the way home, literally at our driveway, our neighbors wait for it, pit bull mix (but ya'll already guessed that, right?), came charging across the street and she wasn't as lucky this time. Let's just say it was a mess. His owner had to tackle the dog to get it off of ours. Both the dog and my wife are physically fine (as best we can tell). My wife is very, very shaken up mentally (I don't know about the mental state of the dog, but he messed himself during the attack and ended up having to have a bath.) They've had their dog less than 1 year.

The entire encounter was captured by multiple views on our security cameras. I wasn't that alarmed until I watched the video. Our neighbor came over immediately after he got his dog up. Now here's the rub. He has a son about the same age as ours, and they play together often. I won't say they're best friends, but it's close. We've already told our son that he can't play at their house if their dog is around. With COVID they never go inside anyway, they've only been playing outside.

I'm conflicted on how much to escalate this. What I'm tempted to do is tell them that if I ever see the dog outside unrestrained, I'm taking the video to animal control. On one hand I think that's fair. On the other, I wouldn't be able to live with myself if it happened again, especially if a child was involved.

So, that's the readers digest version. If you were in my shoes, what would be your next move?

Edited to add: We like and get along with all of our neighbors. I don't want that to change.

Thanks in advance.

Edited to add the video.

Here is the video for those that are interested. After watching it does it change your thoughts?