I love dogs, but what would you have done?

Just get some critter ridder and sprinkle it around your yard and watch the fun.

Actually, chili pepper works quite well. But I do not want to punish the dog since it is the owner enabling the poor behavior. Also, I would not want to penalize the good neighbors who actually know how to handle and care for their pets because one bad neighbor doesn't know the etiquette.