Get one of those silent debarking devices and attach it to a tree aimed at the dog. Whenever he barks, a high pitched frequency will emit. He will start to bark less. Humans can’t hear the sound so it’s good for a stealth operation whereby you don’t end in terrible relationship with your neighbor. These devices can be purchased online for 30-50 dollars.