Right on, sounds like you did the right thing. fwiw, I figured as much…my comment was more a commentary on the FB/Nextdoor post from OP.

Sorry about your luck, I’m sure most of us have had bad neighbors at some point, I know I sure have. It’s such a bummer too because it imposes on your sanctuary of home. Doubly so when it’s a grown-assed man acting like a petulant teenager. Hope things mellow out for you in the near future fellow lemming