About a year ago, our old washing machine had a water-level sensor failure, and it overflowed (for about 15 minutes before we noticed). It's on the third floor of our home, and luckily (by code) is...