Ever since we had some (unrelated) plumbing work done in another part of the house, which required turning off the mains water supply, one of our faucets has been making a loud “machine-gun” noise whenever it is turned on. Do I just have a bad washer in the faucet (coincidence), or could this be related to the other work (maybe an airlock)? If so, how do I clear it?