Apparently the floodwaters did manage to get into the neighbors' house. (Not the ones with the dog. The other ones. On the opposite side of the house.) It was enough to soak the carpet and padding, which had to be ripped out. Really dodged a bullet. Maybe we're a little higher up? Who knows?