I am glad Beanie is ok (side note our first dachshund was named Beanie lol). I agree that dog and owners need to be reported. Most States towns have a leash law and if that dog is off leash it would probably attack again. I have heard of using a high whistle or air horn. This is a website that has some ideas. I hope it helps
Responsible Pet Ownership Blog: What to Do if another Dog Attacks Your Dog