re: #790 sattv4u2

Our plumber advised against those. Said if we wash with bleach (we do) the bleach eats away at the doors seal

Really? I didn’t know that. I don’t know how much a door seal would cost but it would seem like you should be able to replace that yourself. The efficiency gain might pay for quite a few seals. I don’t have one but used one at a hotel in San Diego recently, I was amazed at how clean my greasy pants came out.